@@ -180,10 +180,15 @@ } else { return false; } } + @Override + public int hashCode() { + return (lineNumber() * 17) ^ refType.hashCode(); + } + int lineNumber() { return stiLineNumber(sti, lti, jplsLine); } /**