fixed generateMutants on MuJavaAPI; modified private attributes of JmlProgram to protected