com.ibm.wala.eclipse/launchers/HeadlessWALA.launch

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <launchConfiguration type="org.eclipse.pde.ui.RuntimeWorkbench">
   3 <stringAttribute key="product" value="org.eclipse.sdk.ide"/>
   4 <booleanAttribute key="clearws" value="false"/>
   5 <booleanAttribute key="usefeatures" value="false"/>
   6 <stringAttribute key="bootstrap" value=""/>
   7 <booleanAttribute key="useProduct" value="false"/>
   8 <booleanAttribute key="tracing" value="false"/>
   9 <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-nosplash"/>
  10 <stringAttribute key="pde.version" value="3.2a"/>
  11 <stringAttribute key="templateConfig" value="${target_home}\configuration\config.ini"/>
  12 <booleanAttribute key="default" value="true"/>
  13 <booleanAttribute key="clearConfig" value="false"/>
  14 <booleanAttribute key="automaticValidate" value="false"/>
  15 <booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
  16 <booleanAttribute key="useDefaultConfigArea" value="true"/>
  17 <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/>
  18 <booleanAttribute key="useDefaultConfig" value="true"/>
  19 <booleanAttribute key="automaticAdd" value="true"/>
  20 <stringAttribute key="checked" value="[NONE]"/>
  21 <booleanAttribute key="askclear" value="true"/>
  22 <stringAttribute key="location" value="${workspace_loc}/"/>
  23 <booleanAttribute key="includeOptional" value="true"/>
  24 <stringAttribute key="configLocation" value=""/>
  25 <stringAttribute key="application" value="com.ibm.wala.eclipse.HeadlessWALA"/>
  26 </launchConfiguration>