diff options
Diffstat (limited to 'org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/LibraryLocation.java')
-rw-r--r-- | org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/LibraryLocation.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/LibraryLocation.java b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/LibraryLocation.java index 67377c534..170aa5f90 100644 --- a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/LibraryLocation.java +++ b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/LibraryLocation.java @@ -114,6 +114,7 @@ public final class LibraryLocation { /* (non-Javadoc) * @see java.lang.Object#equals(java.lang.Object) */ + @Override public boolean equals(Object obj) { if (obj instanceof LibraryLocation) { LibraryLocation lib = (LibraryLocation)obj; @@ -128,6 +129,7 @@ public final class LibraryLocation { /* (non-Javadoc) * @see java.lang.Object#hashCode() */ + @Override public int hashCode() { return getSystemLibraryPath().hashCode(); } |