(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (org.eclipse.update.install.features=true) uninstallFeature(feature:${artifact},featureId:default,featureVersion:default) installFeature(feature:${artifact},featureId:default,featureVersion:default) removeSourceBundle(bundle:${artifact}) addSourceBundle(bundle:${artifact}) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:4); (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:2);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:4);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) setProgramProperty(propName:eclipse.product,propValue:org.overture.ide.platform.product);setProgramProperty(propName:osgi.splashPath,propValue:platform${#58}/base/plugins/org.overture.ide.platform);setProgramProperty(propName:eclipse.application,propValue:org.eclipse.ui.ide.workbench);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:@user.home/Documents/Overture/workspace); setProgramProperty(propName:eclipse.product,propValue:);setProgramProperty(propName:osgi.splashPath,propValue:);setProgramProperty(propName:eclipse.application,propValue:);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:); (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) addJvmArg(jvmArg:-Xmx512m);addJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8); removeJvmArg(jvmArg:-Xmx512m);removeJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8); (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:2);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) setLauncherName(name:Overture) setLauncherName() (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:1);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) cleanupzip(source:@artifact, target:${installFolder}/../); unzip(source:@artifact, target:${installFolder}/../); chmod(targetDir:${installFolder}/../MacOS/, targetFile:Overture, permissions:755); (org.eclipse.update.install.features=true) addRepository(type:0,name:Overture,enabled:false,location:http${#58}//dl.bintray.com/overturetool/overturetool/);addRepository(type:1,name:Overture,enabled:false,location:http${#58}//dl.bintray.com/overturetool/overturetool/);addRepository(type:0,name:Overture Development,enabled:true,location:http${#58}//dl.bintray.com/overturetool/overturetool-development/);addRepository(type:1,name:Overture Development,enabled:true,location:http${#58}//dl.bintray.com/overturetool/overturetool-development/);addRepository(type:0,name:Overture VDM2C,enabled:true,location:http${#58}//overture.au.dk/vdm2c/master/repository/);addRepository(type:1,name:Overture VDM2C,enabled:true,location:http${#58}//overture.au.dk/vdm2c/master/repository/);addRepository(type:0,name:Overture VDM2C Development,enabled:false,location:http${#58}//overture.au.dk/vdm2c/development/repository/);addRepository(type:1,name:Overture VDM2C Development,enabled:false,location:http${#58}//overture.au.dk/vdm2c/development/repository/);addRepository(type:0,name:Overture FMI Support,enabled:true,location:http${#58}//overture.au.dk/into-cps/vdm-tool-wrapper/master/latest/);addRepository(type:1,name:Overture FMI Support,enabled:true,location:http${#58}//overture.au.dk/into-cps/vdm-tool-wrapper/master/latest/);addRepository(type:0,name:Overture FMI Support Development,enabled:false,location:http${#58}//overture.au.dk/into-cps/vdm-tool-wrapper/development/latest/);addRepository(type:1,name:Overture FMI Support Development,enabled:false,location:http${#58}//overture.au.dk/into-cps/vdm-tool-wrapper/development/latest/);addRepository(type:0,name:Overture Graphics Plugin,enabled:true,location:http${#58}//overture.au.dk/overture-graphics-plugin/master/repository/);addRepository(type:1,name:Overture Graphics Plugin,enabled:true,location:http${#58}//overture.au.dk/overture-graphics-plugin/master/repository/);addRepository(type:0,name:Neon,enabled:true,location:http${#58}//download.eclipse.org/releases/neon/);addRepository(type:1,name:Neon,enabled:true,location:http${#58}//download.eclipse.org/releases/neon/);addRepository(type:0,name:The Eclipse Project Updates,enabled:true,location:http${#58}//download.eclipse.org/eclipse/updates/4.6);addRepository(type:1,name:The Eclipse Project Updates,enabled:true,location:http${#58}//download.eclipse.org/eclipse/updates/4.6); Overture Tools Overture is an open source tool for the Vienna Development Method (VDM). The tool supports different VDM dialects which include the ISO VDM-SL standard, as well as the object-oriented extension VDM++ and the real-time extension of that called VDM-RT. Copyright (C) 2010 Overture contributors and others This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) addProgramArg(programArg:--launcher.library);addProgramArg(programArg:@artifact); removeProgramArg(programArg:--launcher.library);removeProgramArg(programArg:@artifact); (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:1);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setProgramProperty(propName:org.eclipse.update.reconcile, propValue:false); setProgramProperty(propName:org.eclipse.update.reconcile, propValue:); (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) addProgramArg(programArg:--launcher.library);addProgramArg(programArg:@artifact); removeProgramArg(programArg:--launcher.library);removeProgramArg(programArg:@artifact); (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) setProgramProperty(propName:eclipse.product,propValue:org.overture.ide.platform.product);setProgramProperty(propName:osgi.splashPath,propValue:platform${#58}/base/plugins/org.overture.ide.platform);setProgramProperty(propName:eclipse.application,propValue:org.eclipse.ui.ide.workbench);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:@user.home/Documents/Overture/workspace); setProgramProperty(propName:eclipse.product,propValue:);setProgramProperty(propName:osgi.splashPath,propValue:);setProgramProperty(propName:eclipse.application,propValue:);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:); (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) setLauncherName(name:Overture) setLauncherName() (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:1);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:4);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:2);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setProgramProperty(propName:org.eclipse.update.reconcile, propValue:false); setProgramProperty(propName:org.eclipse.update.reconcile, propValue:); (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:2);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:4);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) setLauncherName(name:Overture) setLauncherName() (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) addProgramArg(programArg:--launcher.library);addProgramArg(programArg:@artifact); removeProgramArg(programArg:--launcher.library);removeProgramArg(programArg:@artifact); (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:4);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) addJvmArg(jvmArg:-Xmx512m);addJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8); removeJvmArg(jvmArg:-Xmx512m);removeJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8); (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:2);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) addProgramArg(programArg:--launcher.library);addProgramArg(programArg:@artifact); removeProgramArg(programArg:--launcher.library);removeProgramArg(programArg:@artifact); (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) addJvmArg(jvmArg:-Xmx512m);addJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);addJvmArg(jvmArg:-XstartOnFirstThread);addJvmArg(jvmArg:-Dorg.eclipse.swt.internal.carbon.smallFonts); removeJvmArg(jvmArg:-Xmx512m);removeJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);removeJvmArg(jvmArg:-XstartOnFirstThread);removeJvmArg(jvmArg:-Dorg.eclipse.swt.internal.carbon.smallFonts); (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:2);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) addProgramArg(programArg:-startup);addProgramArg(programArg:@artifact); removeProgramArg(programArg:-startup);removeProgramArg(programArg:@artifact); (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setProgramProperty(propName:org.eclipse.update.reconcile, propValue:false); setProgramProperty(propName:org.eclipse.update.reconcile, propValue:); (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) cleanupzip(source:@artifact, target:${installFolder}); unzip(source:@artifact, target:${installFolder}); (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) setLauncherName(name:Overture) setLauncherName() (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) cleanupzip(source:@artifact, target:${installFolder}); unzip(source:@artifact, target:${installFolder}); chmod(targetDir:${installFolder}, targetFile:icon.xpm, permissions:755); chmod(targetDir:${installFolder}, targetFile:Overture, permissions:755); (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:4);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) addJvmArg(jvmArg:-Xmx512m);addJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8); removeJvmArg(jvmArg:-Xmx512m);removeJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8); (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) setProgramProperty(propName:eclipse.product,propValue:org.overture.ide.platform.product);setProgramProperty(propName:osgi.splashPath,propValue:platform${#58}/base/plugins/org.overture.ide.platform);setProgramProperty(propName:eclipse.application,propValue:org.eclipse.ui.ide.workbench);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:@user.home/Documents/Overture/workspace); setProgramProperty(propName:eclipse.product,propValue:);setProgramProperty(propName:osgi.splashPath,propValue:);setProgramProperty(propName:eclipse.application,propValue:);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:); (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) setLauncherName(name:Overture) setLauncherName() (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) cleanupzip(source:@artifact, target:${installFolder}); unzip(source:@artifact, target:${installFolder}); chmod(targetDir:${installFolder}, targetFile:icon.xpm, permissions:755); chmod(targetDir:${installFolder}, targetFile:Overture, permissions:755); (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) setProgramProperty(propName:eclipse.product,propValue:org.overture.ide.platform.product);setProgramProperty(propName:osgi.splashPath,propValue:platform${#58}/base/plugins/org.overture.ide.platform);setProgramProperty(propName:eclipse.application,propValue:org.eclipse.ui.ide.workbench);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:@user.home/Documents/Overture/workspace); setProgramProperty(propName:eclipse.product,propValue:);setProgramProperty(propName:osgi.splashPath,propValue:);setProgramProperty(propName:eclipse.application,propValue:);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:); (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setProgramProperty(propName:org.eclipse.update.reconcile, propValue:false); setProgramProperty(propName:org.eclipse.update.reconcile, propValue:); (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:4);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) cleanupzip(source:@artifact, target:${installFolder}); unzip(source:@artifact, target:${installFolder}); (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:4);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:2);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:4);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:4);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) setProgramProperty(propName:eclipse.product,propValue:org.overture.ide.platform.product);setProgramProperty(propName:osgi.splashPath,propValue:platform${#58}/base/plugins/org.overture.ide.platform);setProgramProperty(propName:eclipse.application,propValue:org.eclipse.ui.ide.workbench);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:@user.home/Documents/Overture/workspace); setProgramProperty(propName:eclipse.product,propValue:);setProgramProperty(propName:osgi.splashPath,propValue:);setProgramProperty(propName:eclipse.application,propValue:);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:); (&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) addProgramArg(programArg:--launcher.library);addProgramArg(programArg:@artifact); removeProgramArg(programArg:--launcher.library);removeProgramArg(programArg:@artifact); (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:1);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setProgramProperty(propName:org.eclipse.update.reconcile, propValue:false); setProgramProperty(propName:org.eclipse.update.reconcile, propValue:); (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:4);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:2);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:2);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) addJvmArg(jvmArg:-Xmx512m);addJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8); removeJvmArg(jvmArg:-Xmx512m);removeJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8); (&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:1);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa)) uninstallBundle(bundle:${artifact}) installBundle(bundle:${artifact}) setStartLevel(startLevel:2);markStarted(started: true); setStartLevel(startLevel:-1);markStarted(started: false); (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)) (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))