} catch (DataflowAnalysisException e) {  } catch (CFGBuilderException e) {
	public static void addReceiverObjectType(			WarningPropertySet propertySet,			ClassContext classContext,			Method method,			Location location) throws DataflowAnalysisException, CFGBuilderException {		TypeDataflow typeDataflow = classContext.getTypeDataflow(method);		TypeFrame frame = typeDataflow.getFactAtLocation(location);		if (frame.isValid()) {			Type type = frame.getInstance(					location.getHandle().getInstruction(), classContext.getConstantPoolGen());			if (type instanceof ReferenceType) {				propertySet.setProperty(GeneralWarningProperty.RECEIVER_OBJECT_TYPE, type.toString());			}		}	}