if(selectedNames.length != 0) { for(int i = 0; i < directory.size(); i++) { VFS.DirectoryEntry file = (VFS.DirectoryEntry)directory .elementAt(i); String name = file.name; for(int j = 0; j < selectedNames.length; j++) { if(selectedNames[j].equals(name)) { list.addSelectionInterval(i,i); break; } } } }
	public void directoryLoaded(Vector directory)	{		if(directory == null)			list.setListData(new Object[0]);		else			list.setListData(directory);		//scroller.getViewport().setViewPosition(new Point(0,0));	}