public DirectoryJob() { super(fileID.getName()); }
public String getName() { URL url; String result = null; try { url = fileID.getURL(); String path = url.getPath(); int index = path.lastIndexOf("/"); //$NON-NLS-1$ if (index == -1) return path; result = path.substring(index + 1); return result; } catch (MalformedURLException e) { return fileID.getName(); } }