Allowed one to override jvmopts for Eclipse launchers in
sireum.properties with key sireum.launcher.eclipse.jvmopts as comma
separated options for the JVM.