}
   public void visit(CodeException obj) {	int type = obj.getCatchType();	if (type == 0) return;	String name = constant_pool.constantToString(		constant_pool.getConstant(type)); 	// System.out.println("Catching " + name);	if (name.equals("java.lang.IllegalMonitorStateException"))	  bugReporter.reportBug(new BugInstance("IMSE_DONT_CATCH_IMSE",HIGH_PRIORITY)                                .addClassAndMethod(this)                                .addSourceLine(this,obj.getHandlerPC()));	}