public int compareTo(Object o) { if (!(o instanceof Location)) throw new UnsupportedOperationException("Locations can only be compared to other Locations"); Location other = (Location) o;
public int compareTo(Location other) {
	public int compareTo(Object o) {		if (!(o instanceof Location))			throw new UnsupportedOperationException("Locations can only be compared to other Locations");		Location other = (Location) o;		int cmp = basicBlock.getId() - other.basicBlock.getId();		if (cmp != 0)			return cmp;		return handle.getPosition() - other.handle.getPosition();	}