diff -r 6a973bd43949 -r 1bc3b688548c src/HOL/MicroJava/JVM/JVMState.thy