public boolean equals(Object other) { if (!(other instanceof Location)) return false; Location l = (Location) other; if (_lineNumber != l.getLineNumber()) return false; if (_columnNumber != l.getColumnNumber()) return false; return _resource.equals(l.getResource()); }