### Eclipse Workspace Patch 1.0 #P org.eclipse.rse.ui Index: UI/org/eclipse/rse/internal/ui/view/SystemTableViewPart.java =================================================================== RCS file: /cvsroot/dsdp/org.eclipse.tm.rse/plugins/org.eclipse.rse.ui/UI/org/eclipse/rse/internal/ui/view/SystemTableViewPart.java,v retrieving revision 1.18 diff -u -r1.18 SystemTableViewPart.java --- UI/org/eclipse/rse/internal/ui/view/SystemTableViewPart.java 9 Jul 2007 13:17:34 -0000 1.18 +++ UI/org/eclipse/rse/internal/ui/view/SystemTableViewPart.java 9 Jul 2007 19:03:08 -0000 @@ -1570,9 +1570,9 @@ for (int i = 0; i < _browseHistory.size(); i++) { HistoryItem hist = (HistoryItem)_browseHistory.get(i); - if (hist.getObject() == c) + Object historyObj = hist.getObject(); + if (historyObj == c || historyObj.equals(c)) { - _browseHistory.remove(hist); if (_browsePosition >= i) { @@ -1610,11 +1610,11 @@ { int eventType = event.getEventType(); Object remoteResource = event.getResource(); - Vector remoteResourceNames = null; - if (remoteResource instanceof Vector) + java.util.List remoteResourceNames = null; + if (remoteResource instanceof java.util.List) { - remoteResourceNames = (Vector) remoteResource; - remoteResource = remoteResourceNames.elementAt(0); + remoteResourceNames = (java.util.List) remoteResource; + remoteResource = remoteResourceNames.get(0); } Object child = event.getResource(); @@ -1630,7 +1630,7 @@ referToSameObject = ((SystemRegistry)registry).isSameObjectByAbsoluteName(input, null, child, event.getOldName()); } - if (input == child || child instanceof Vector || referToSameObject) + if (input == child || child instanceof java.util.List || referToSameObject) { switch (eventType) { @@ -1651,12 +1651,12 @@ // -------------------------- case ISystemRemoteChangeEvents.SYSTEM_REMOTE_RESOURCE_DELETED : { - if (child instanceof Vector) + if (child instanceof java.util.List) { - Vector vec = (Vector)child; - for (int v = 0; v < vec.size(); v++) + java.util.List list = (java.util.List)child; + for (int v = 0; v < list.size(); v++) { - Object c = vec.get(v); + Object c = list.get(v); removeFromHistory(c); /*