Software Thread Level Speculation for the Java Language and Virtual Machine Environment