ADD: whilestmt, only generate field initialisation on static fields, dynamic dispatch now accounts for unboxing
ADD: whilestmt, only generate field initialisation on static fields, dynamic dispatch now accounts for unboxing

plum-umd/java-sketch,plum-umd/java-sketch,plum-umd/java-sketch,plum-umd/java-sketch