Conflicting JVM specs between what can be verified run and what is debuggable wrt local variables? On one hand the Java class spec says:
