frame.setStatus(ResourceValueFrame.ESCAPED);
frame.setEscaped(true);
	private void handleFieldStore(FieldInstruction ins) {		try {			// If the resource instance is stored in a field, then it escapes			ResourceValueFrame frame = getFrame();			ResourceValue topValue = frame.getTopValue();			if (topValue.equals(ResourceValue.instance()))				frame.setStatus(ResourceValueFrame.ESCAPED);		} catch (DataflowAnalysisException e) {			throw new IllegalStateException(e.toString());		}		handleNormalInstruction(ins);	}