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