++ fix AnalyzerFacadeForJVM.java