diff options
| -rw-r--r-- | bin/Cristal Dev GUI.launch | 4 | ||||
| -rw-r--r-- | pom.xml | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/bin/Cristal Dev GUI.launch b/bin/Cristal Dev GUI.launch index 998a031..1af6038 100644 --- a/bin/Cristal Dev GUI.launch +++ b/bin/Cristal Dev GUI.launch @@ -1,10 +1,10 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
-<listEntry value="/cristal-gui/src/main/java/com/c2kernel/gui/Main.java"/>
+<listEntry value="/cristal-dev"/>
</listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="1"/>
+<listEntry value="4"/>
</listAttribute>
<stringAttribute key="org.eclipse.debug.ui.ATTR_CONSOLE_ENCODING" value="UTF-8"/>
<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
@@ -105,7 +105,7 @@ <dependency> <groupId>cristal</groupId> <artifactId>cristal-xmldb</artifactId> - <version>0.6-SNAPSHOT</version> + <version>1.0-SNAPSHOT</version> </dependency> </dependencies> </dependencyManagement> |