Skip to content

Commit dfdbf8e

Browse files
hmwverbeekhmwverbeek
committed
Initial changes.
1 parent a1460ad commit dfdbf8e

72 files changed

Lines changed: 7644 additions & 729 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

ProM Package Manager (NewPackageIvy).launch renamed to ProM Package Manager (DataExpression).launch

Lines changed: 23 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,23 @@
1-
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2-
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
3-
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
4-
</listAttribute>
5-
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
6-
<listEntry value="1"/>
7-
</listAttribute>
8-
<booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
9-
<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
10-
<listEntry value="com.yourkit.profiler.launchGroup"/>
11-
<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
12-
<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
13-
</listAttribute>
14-
<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
15-
<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER&quot; javaProject=&quot;NewPackageIvy&quot; path=&quot;1&quot; type=&quot;4&quot;/&gt;&#13;&#10;"/>
16-
<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.defaultClasspath&quot;&gt;&#13;&#10;&lt;memento exportedEntriesOnly=&quot;false&quot; project=&quot;NewPackageIvy&quot;/&gt;&#13;&#10;&lt;/runtimeClasspathEntry&gt;&#13;&#10;"/>
17-
</listAttribute>
18-
<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
19-
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.processmining.contexts.uitopia.packagemanager.PMFrame"/>
20-
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="NewPackageIvy"/>
21-
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea -Xmx1G -Djava.library.path=."/>
22-
<stringAttribute key="yk-options" value="&#13;&#10;additional-options=&#13;&#10;snapshots-dir=&#13;&#10;"/>
23-
</launchConfiguration>
1+
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2+
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
3+
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
4+
</listAttribute>
5+
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
6+
<listEntry value="1"/>
7+
</listAttribute>
8+
<booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
9+
<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
10+
<listEntry value="com.yourkit.profiler.launchGroup"/>
11+
<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
12+
<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
13+
</listAttribute>
14+
<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
15+
<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER&quot; javaProject=&quot;DataExpression&quot; path=&quot;1&quot; type=&quot;4&quot;/&gt;&#13;&#10;"/>
16+
<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.defaultClasspath&quot;&gt;&#13;&#10;&lt;memento exportedEntriesOnly=&quot;false&quot; project=&quot;DataExpression&quot;/&gt;&#13;&#10;&lt;/runtimeClasspathEntry&gt;&#13;&#10;"/>
17+
</listAttribute>
18+
<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
19+
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.processmining.contexts.uitopia.packagemanager.PMFrame"/>
20+
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="DataExpression"/>
21+
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea -Xmx1G -Djava.library.path=."/>
22+
<stringAttribute key="yk-options" value="&#13;&#10;additional-options=&#13;&#10;snapshots-dir=&#13;&#10;"/>
23+
</launchConfiguration>

ProM with UITopia (NewPackageIvy).launch renamed to ProM with UITopia (DataExpression).launch

Lines changed: 22 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
1-
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2-
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
3-
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
4-
</listAttribute>
5-
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
6-
<listEntry value="1"/>
7-
</listAttribute>
8-
<booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
9-
<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
10-
<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
11-
<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
12-
</listAttribute>
13-
<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
14-
<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER&quot; javaProject=&quot;NewPackageIvy&quot; path=&quot;1&quot; type=&quot;4&quot;/&gt;&#13;&#10;"/>
15-
<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.defaultClasspath&quot;&gt;&#13;&#10;&lt;memento exportedEntriesOnly=&quot;false&quot; project=&quot;NewPackageIvy&quot;/&gt;&#13;&#10;&lt;/runtimeClasspathEntry&gt;&#13;&#10;"/>
16-
</listAttribute>
17-
<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
18-
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.processmining.contexts.uitopia.UI"/>
19-
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="NewPackageIvy"/>
20-
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea -Xmx4G -XX:MaxPermSize=256m -Djava.library.path=. -Djava.util.Arrays.useLegacyMergeSort=true"/>
21-
<stringAttribute key="yk-options" value="&#13;&#10;additional-options=&#13;&#10;snapshots-dir=&#13;&#10;"/>
22-
</launchConfiguration>
1+
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2+
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
3+
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
4+
</listAttribute>
5+
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
6+
<listEntry value="1"/>
7+
</listAttribute>
8+
<booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
9+
<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
10+
<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
11+
<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
12+
</listAttribute>
13+
<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
14+
<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER&quot; javaProject=&quot;DataExpression&quot; path=&quot;1&quot; type=&quot;4&quot;/&gt;&#13;&#10;"/>
15+
<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.defaultClasspath&quot;&gt;&#13;&#10;&lt;memento exportedEntriesOnly=&quot;false&quot; project=&quot;DataExpression&quot;/&gt;&#13;&#10;&lt;/runtimeClasspathEntry&gt;&#13;&#10;"/>
16+
</listAttribute>
17+
<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
18+
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.processmining.contexts.uitopia.UI"/>
19+
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="DataExpression"/>
20+
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea -Xmx4G -XX:MaxPermSize=256m -Djava.library.path=. -Djava.util.Arrays.useLegacyMergeSort=true"/>
21+
<stringAttribute key="yk-options" value="&#13;&#10;additional-options=&#13;&#10;snapshots-dir=&#13;&#10;"/>
22+
</launchConfiguration>

0 commit comments

Comments
 (0)