hasThisDollarZero = false;
         public void visitJavaClass(JavaClass obj) {		// totally skip methods not defined in inner classes		if (obj.getClassName().indexOf('$') >= 0) super.visitJavaClass(obj);			}