How do I write a correct micro-benchmark in Java? How do I write a correct micro-benchmark in Java? java java