JAL-3858 javadoc and slightly revised green linear shading - still not a perfect...
[jalview.git] / .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>