refine
	modified:   JavaClass.hs
	modified:   JavaEngine.hs