--- old/src/share/classes/com/sun/tools/jdi/SDE.java	2013-06-17 11:26:24.000000000 -0700
+++ new/src/share/classes/com/sun/tools/jdi/SDE.java	2013-06-17 11:26:24.000000000 -0700
@@ -182,6 +182,11 @@
             }
         }
 
+        @Override
+        public int hashCode() {
+            return (lineNumber() * 17) ^ refType.hashCode();
+        }
+
         int lineNumber() {
             return stiLineNumber(sti, lti, jplsLine);
         }