Symbolic Modeling and Transformation of Java Code #JVMLS | Java | Podwise