diff --git a/ITS-commandline/fr.lip6.move.gal.itscl.product/fr.lip6.move.gal.itscl.product b/ITS-commandline/fr.lip6.move.gal.itscl.product/fr.lip6.move.gal.itscl.product index 45593692de..17340afada 100644 --- a/ITS-commandline/fr.lip6.move.gal.itscl.product/fr.lip6.move.gal.itscl.product +++ b/ITS-commandline/fr.lip6.move.gal.itscl.product/fr.lip6.move.gal.itscl.product @@ -1,8 +1,7 @@ - - + @@ -10,7 +9,7 @@ -data @none - -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx16384m + -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx16384m -Djdk.lang.Process.launchMechanism=vfork -XstartOnFirstThread -Dorg.eclipse.swt.internal.carbon.smallFonts @@ -25,11 +24,9 @@ - - @@ -38,7 +35,10 @@ + + +