refine
	modified:   JavaClass.hs
	modified:   JavaClassReader.hs
	modified:   JavaEngine.hs
	modified:   Main.hs
 refine
	modified:   Main.hs