.externalToolBuilders/Help Indices Jalview Release [Builder].launch

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <launchConfiguration type="org.eclipse.ant.AntBuilderLaunchConfigurationType">
   3 <stringAttribute key="process_factory_id" value="org.eclipse.ant.ui.remoteAntProcessFactory"/>
   4 <booleanAttribute key="org.eclipse.debug.ui.ATTR_LAUNCH_IN_BACKGROUND" value="false"/>
   5 <booleanAttribute key="org.eclipse.ant.ui.DEFAULT_VM_INSTALL" value="true"/>
   6 <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.ant.internal.ui.antsupport.InternalAntRunner"/>
   7 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
   8 <listEntry value="1"/>
   9 </listAttribute>
  10 <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/jdk1.5.0_07"/>
  11 <booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
  12 <booleanAttribute key="org.eclipse.ui.externaltools.ATTR_TRIGGERS_CONFIGURED" value="true"/>
  13 <stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.ant.ui.AntClasspathProvider"/>
  14 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_ANT_TARGETS" value="buildindices,"/>
  15 <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.ant.ui.AntClasspathProvider"/>
  16 <stringAttribute key="org.eclipse.jdt.launching.VM_INSTALL_TYPE_ID" value="org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType"/>
  17 <stringAttribute key="org.eclipse.jdt.launching.VM_INSTALL_NAME" value="jdk1.5.0_07"/>
  18 <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="Jalview Release"/>
  19 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
  20 <listEntry value="/Jalview Release/build.xml"/>
  21 </listAttribute>
  22 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${workspace_loc:/Jalview Release/build.xml}"/>
  23 </launchConfiguration>