SessionInfo.ALL_CONTEXTS));
tree.addMenuItem("fileSystem", new WriteRequiredFileSystemPageTask("upload", NetworkPlacePlugin.MESSAGE_RESOURCES_KEY, "javascript: setActionTarget('upload'); document.forms[0].submit();", 100, true, "_self", SessionInfo.ALL_CONTEXTS));
}
void initFileSystems() throws FileSystemException {
VFSProviderManager mgr = VFSProviderManager.getInstance();
// Intialise the additional commons vfs providers
/*
((StandardFileSystemManager)VFS.getManager()).addProvider("webdav", new WebdavFileProvider());
*/
((StandardFileSystemManager)VFS.getManager()).addProvider("jar", new JarFileProvider());
((StandardFileSystemManager)VFS.getManager()).addProvider("zip", new ZipFileProvider());
((StandardFileSystemManager)VFS.getManager()).addProvider("tar", new TarFileProvider());
((StandardFileSystemManager)VFS.getManager()).addProvider("tgz", new TgzFileProvider());
((StandardFileSystemManager)VFS.getManager()).addProvider("tbz2", new Tbz2FileProvider());
((StandardFileSystemManager)VFS.getManager()).addProvider("gz", new GzipFileProvider());
((StandardFileSystemManager)VFS.getManager()).addProvider("tmp", new TemporaryFileProvider());
((StandardFileSystemManager)VFS.getManager()).addProvider(new String[] { "bzip2", "bz2" }, new Bzip2FileProvider());
mgr.registerProvider(new FileProvider());
mgr.registerProvider(new FTPProvider());
mgr.registerProvider(new CIFSProvider());
mgr.registerProvider(new JarProvider());
mgr.registerProvider(new ZipProvider());
/*
Don't seem to work as expected.
mgr.registerProvider(new TarProvider());