System.out.println("Stream open location at " + streamOpenLocation);
System.out.println("Open stream: " + stream);
	public void addStreamOpenLocation(Location streamOpenLocation, Stream stream) {		if (FindOpenStream.DEBUG)			System.out.println("Stream open location at " + streamOpenLocation);		streamOpenLocationMap.put(streamOpenLocation, stream);		if (stream.isUninteresting())			uninterestingStreamEscapeSet.add(stream);	}