copyResource(RESOURCE_BASE + "plugins/", new File(platformDirectory, "plugins"));
File plugins = new File(platformDirectory, "plugins"); copyResource(RESOURCE_BASE + "plugins/", plugins); deployExtensionBundle(plugins);
	public synchronized void deploy() {		if (platformDirectory != null) {			context.log("Framework is already deployed"); //$NON-NLS-1$			return;		}		File servletTemp = (File) context.getAttribute("javax.servlet.context.tempdir"); //$NON-NLS-1$		platformDirectory = new File(servletTemp, "eclipse"); //$NON-NLS-1$		if (!platformDirectory.exists()) {			platformDirectory.mkdirs();		}		copyResource(RESOURCE_BASE + "configuration/", new File(platformDirectory, "configuration")); //$NON-NLS-1$ //$NON-NLS-2$		copyResource(RESOURCE_BASE + "features/", new File(platformDirectory, "features")); //$NON-NLS-1$ //$NON-NLS-2$		copyResource(RESOURCE_BASE + "plugins/", new File(platformDirectory, "plugins")); //$NON-NLS-1$ //$NON-NLS-2$		copyResource(RESOURCE_BASE + ".eclipseproduct", new File(platformDirectory, ".eclipseproduct")); //$NON-NLS-1$ //$NON-NLS-2$	}