public void createOrUpdateDefaultDeployment(File defaultWGAWar, IProgressMonitor monitor) throws FileSystemException, IOException, ZipException {
if (monitor == null) {
monitor = new NullProgressMonitor();
}
FileSystemManager fsManager = VFS.getManager();
FileObject propFile = fsManager.resolveFile( "zip:" + defaultWGAWar.toURI() + "!/WEB-INF/wgabuild.properties");
//_defaultDeploymentName = DEFAULT_DEPLOYMENT_PREFIX + WGADeployment.determineWGAVersion(propFile.getURL().openStream(), "_", true, false);
// init default wga installation
// check if we already have a deployment with same major, minor version
WGADeployment existingDefaultDeployment = getDeployment(DEFAULT_DEPLOYMENT_NAME);