Comparison of Java virtual machines