TestHelloWorld_withOption.launch

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="scala.application">
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
<listEntry value="/subscript/src/subscript/test/TestHelloWorld_withOption.scala"/>
</listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
<listEntry value="1"/>
</listAttribute>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="subscript.test.TestHelloWorld_withOption"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="subscript"/>
</launchConfiguration>