System.out.println("Inspecting GETFIELD at " + location);
System.out.println("Inspecting GETFIELD of " + fieldName + " at " + location);
		public boolean ignoreExceptionEdge(Edge edge, Lock resource, ConstantPoolGen cpg) {						try {				Location location = cfg.getExceptionThrowerLocation(edge);				if (DEBUG) {					System.out.println("Exception thrower location: " + location);				}				Instruction ins = location.getHandle().getInstruction();								if (ins instanceof GETFIELD) {					if (DEBUG) {						System.out.println("Inspecting GETFIELD at " + location);					}					// Ignore exceptions from getfield instructions where the					// object referece is known not to be null					IsNullValueFrame frame = isNullDataflow.getFactAtLocation(location);					if (!frame.isValid())						return false;					IsNullValue receiver = frame.getInstance(ins, cpg);					boolean notNull = receiver.isDefinitelyNotNull();					if (DEBUG && notNull) {						System.out.println("Ignoring exception from non-null GETFIELD");					}					return notNull;				} else if (ins instanceof InvokeInstruction) {					InvokeInstruction iins = (InvokeInstruction) ins;					String methodName = iins.getMethodName(cpg);					//System.out.println("Method " + methodName);					if (!methodName.equals("readLock") && !methodName.equals("writeLock")) return false;//					 Ignore exceptions from getfield instructions where the					// object referece is known not to be null					IsNullValueFrame frame = isNullDataflow.getFactAtLocation(location);					if (!frame.isValid())						return false;					IsNullValue receiver = frame.getInstance(ins, cpg);					boolean notNull = receiver.isDefinitelyNotNull();					if (DEBUG && notNull) 						System.out.println("Ignoring exception from non-null invoke of readLock/writeLock");					return notNull;				}			} catch (DataflowAnalysisException e) {				// Report...			}						return false;		}