state = SEEN_NOTHING; appendPC = createPC = -1;
state = SEEN_NOTHING; createPC = -1; registerOnStack = -1; stringSource = -1;
	private void reset() {		state = SEEN_NOTHING;		appendPC = createPC = -1;		// For debugging: print what call to reset() is being invoked.		// This helps figure out why the detector is failing to		// recognize a particular idiom.		if (DEBUG) System.out.println("Reset from: " + new Throwable().getStackTrace()[1]);	}