JCStorageElement findFileSystemElement(String fsName) { Iterator i = elementList.iterator(); while (i.hasNext()) { JCStorageElement e = (JCStorageElement) i.next(); if (fsName.equals(e.getFileSystemName())) { return e; } } return null; }