comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 18317:c83efc00f6cc

made LocationIdentity values support .equals() instead of identity (i.e. '==') for equality comparisons (and as hash map keys)
author Doug Simon <doug.simon@oracle.com>
date Mon, 10 Nov 2014 17:14:06 +0100
parents e3491381c424
children 7e2c87dae93e
comparison
equal deleted inserted replaced
18316:a1dca8b28839 18317:c83efc00f6cc