diff --git a/.classpath b/.classpath
new file mode 100644
index 0000000000000000000000000000000000000000..698778fef3378d2b00e5d4e260491f33b776287d
--- /dev/null
+++ b/.classpath
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+ <classpathentry kind="src" output="target/classes" path="src/main/java">
+ <attributes>
+ <attribute name="optional" value="true"/>
+ <attribute name="maven.pomderived" value="true"/>
+ </attributes>
+ </classpathentry>
+ <classpathentry excluding="**" kind="src" output="target/classes" path="src/main/resources">
+ <attributes>
+ <attribute name="maven.pomderived" value="true"/>
+ </attributes>
+ </classpathentry>
+ <classpathentry kind="src" output="target/test-classes" path="src/test/java">
+ <attributes>
+ <attribute name="optional" value="true"/>
+ <attribute name="maven.pomderived" value="true"/>
+ </attributes>
+ </classpathentry>
+ <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7">
+ <attributes>
+ <attribute name="maven.pomderived" value="true"/>
+ </attributes>
+ </classpathentry>
+ <classpathentry kind="con" path="org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER">
+ <attributes>
+ <attribute name="maven.pomderived" value="true"/>
+ </attributes>
+ </classpathentry>
+ <classpathentry kind="output" path="target/classes"/>
+</classpath>
diff --git a/.project b/.project
new file mode 100644
index 0000000000000000000000000000000000000000..8c1f95cdcbcdfc30c766583845dc4e107c4a7dec
--- /dev/null
+++ b/.project
@@ -0,0 +1,23 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+ <name>mhw-compiler-workflows</name>
+ <comment></comment>
+ <projects>
+ </projects>
+ <buildSpec>
+ <buildCommand>
+ <name>org.eclipse.jdt.core.javabuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ <buildCommand>
+ <name>org.eclipse.m2e.core.maven2Builder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ </buildSpec>
+ <natures>
+ <nature>org.eclipse.jdt.core.javanature</nature>
+ <nature>org.eclipse.m2e.core.maven2Nature</nature>
+ </natures>
+</projectDescription>
diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 0000000000000000000000000000000000000000..839d647eef851c560a9854ff81d9caa1df594ced
--- /dev/null
+++ b/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,5 @@
+eclipse.preferences.version=1
+encoding//src/main/java=UTF-8
+encoding//src/main/resources=UTF-8
+encoding//src/test/java=UTF-8
+encoding/<project>=UTF-8
diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 0000000000000000000000000000000000000000..ec4300d5d0999d569b87f3935944bcfc5197f877
--- /dev/null
+++ b/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,5 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
+org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
+org.eclipse.jdt.core.compiler.source=1.7
diff --git a/.settings/org.eclipse.m2e.core.prefs b/.settings/org.eclipse.m2e.core.prefs
new file mode 100644
index 0000000000000000000000000000000000000000..f897a7f1cb2389f85fe6381425d29f0a9866fb65
--- /dev/null
+++ b/.settings/org.eclipse.m2e.core.prefs
@@ -0,0 +1,4 @@
+activeProfiles=
+eclipse.preferences.version=1
+resolveWorkspaceProjects=true
+version=1
diff --git a/src/main/java/info/kwarc/sally4/mhw/compilers/CompilationStatusUI.java b/src/main/java/info/kwarc/sally4/mhw/compilers/CompilationStatusUI.java
index 2af9e84d6c912d117594369bd9b1309a13072729..2dd6adf81722610ebeb0daa27f0f0892747a11de 100644
--- a/src/main/java/info/kwarc/sally4/mhw/compilers/CompilationStatusUI.java
+++ b/src/main/java/info/kwarc/sally4/mhw/compilers/CompilationStatusUI.java
@@ -43,7 +43,7 @@ public class CompilationStatusUI extends RouteBuilder {
void start() throws Exception {
CamelContext context = new DefaultCamelContext();
sc = servlet.init(context, getClass().getClassLoader())
- .initDebugTemplating("/home/cjucovschi/sally4-mhw/mhw-stex-compiler/src/main/resources/templates");
+ .initDebugTemplating("/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/resources/templates");
//.initTemplating("templates");
context.addRoutes(this);
context.start();
diff --git a/target/classes/META-INF/MANIFEST.MF b/target/classes/META-INF/MANIFEST.MF
new file mode 100644
index 0000000000000000000000000000000000000000..edc4a478d47c5cf305cc4209604513d48b896bd1
--- /dev/null
+++ b/target/classes/META-INF/MANIFEST.MF
@@ -0,0 +1,38 @@
+Manifest-Version: 1.0
+Bnd-LastModified: 1418847236314
+Build-Jdk: 1.7.0_67
+Built-By: cjucovschi
+Bundle-Description: Semantic Alliance Framework (v.4)
+Bundle-License: http://www.gnu.org/licenses/gpl.txt
+Bundle-ManifestVersion: 2
+Bundle-Name: MathHubWorker sTeX Compiler
+Bundle-SymbolicName: mhw-compiler-workflows
+Bundle-Version: 1.0.0.SNAPSHOT
+Created-By: Apache Maven Bundle Plugin
+Export-Package: info.kwarc.sally4.mhw.workflows;uses:="info.kwarc.sally4
+ .mhw.base,info.kwarc.sally4.mhw.compilers,info.kwarc.sally4.mhw.compile
+ rs.latexml,info.kwarc.sally4.mmt,info.kwarc.sally4.os,org.apache.camel.
+ builder";version="1.0.0",info.kwarc.sally4.mhw.compilers;uses:="info.kw
+ arc.sally4.lmh.factories,org.apache.camel,org.apache.camel.builder";ver
+ sion="1.0.0",info.kwarc.sally4.mhw.compilers.factories;version="1.0.0",
+ info.kwarc.sally4.mhw.compilers.latexml;uses:="info.kwarc.sally4.lmh.fa
+ ctories,info.kwarc.sally4.mhw.compilers,org.apache.camel,org.apache.cam
+ el.builder,org.apache.commons.exec";version="1.0.0"
+Import-Package: info.kwarc.sally4.activemq;version="[0.0,1)",info.kwarc.
+ sally4.framing;version="[0.0,1)",info.kwarc.sally4.lmh.factories;versio
+ n="[1.0,2)",info.kwarc.sally4.lmh.impl;version="[1.0,2)",info.kwarc.sal
+ ly4.mhw.base;version="[1.0,2)",info.kwarc.sally4.mmt;version="[1.0,2)",
+ info.kwarc.sally4.os;version="[0.0,1)",info.kwarc.sally4.os.events;vers
+ ion="[0.0,1)",info.kwarc.sally4.registration;version="[0.0,1)",info.kwa
+ rc.sally4.servlet;version="[0.0,1)",info.kwarc.sally4.servlet.impl;vers
+ ion="[0.0,1)",info.kwarc.sally4.theo;version="[0.0,1)",info.kwarc.sally
+ 4.util;version="[0.0,1)",org.apache.camel,org.apache.camel.builder;vers
+ ion="[2.12,3)",org.apache.camel.component.http;version="[2.12,3)",org.a
+ pache.camel.component.jackson;version="[2.12,3)",org.apache.camel.impl;
+ version="[2.12,3)",org.apache.camel.model;version="[2.12,3)",org.apache
+ .camel.spi;version="[2.12,3)",org.apache.commons.codec;version="[1.4,2)
+ ",org.apache.commons.codec.net;version="[1.4,2)",org.apache.commons.exe
+ c;version="[1.3,2)",org.apache.commons.io;version="[1.4,2)",org.apache.
+ felix.ipojo;version="[1.12,2)",org.slf4j
+Require-Capability: osgi.ee;filter:="(&(osgi.ee=JavaSE)(version=1.7))"
+Tool: Bnd-2.3.0.201405100607
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/CompilationResultObject.class b/target/classes/info/kwarc/sally4/mhw/compilers/CompilationResultObject.class
new file mode 100644
index 0000000000000000000000000000000000000000..85e3e55f2ae62fd2cbd15a20253a3bd7c2c4acbf
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/CompilationResultObject.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/CompilationStatusUI$1.class b/target/classes/info/kwarc/sally4/mhw/compilers/CompilationStatusUI$1.class
new file mode 100644
index 0000000000000000000000000000000000000000..2db9575e4bc445ae0aa5344b6a1e8db7f0dba3cd
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/CompilationStatusUI$1.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/CompilationStatusUI.class b/target/classes/info/kwarc/sally4/mhw/compilers/CompilationStatusUI.class
new file mode 100644
index 0000000000000000000000000000000000000000..23cdd1cde82e665b8483e1b64e11d2f92aacfe13
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/CompilationStatusUI.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/ILaTeXMLStompCompiler.class b/target/classes/info/kwarc/sally4/mhw/compilers/ILaTeXMLStompCompiler.class
new file mode 100644
index 0000000000000000000000000000000000000000..c0437c9f77775b4439493ed966779d312f2251b6
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/ILaTeXMLStompCompiler.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/factories/CompileServicesStaticContentProvider.class b/target/classes/info/kwarc/sally4/mhw/compilers/factories/CompileServicesStaticContentProvider.class
new file mode 100644
index 0000000000000000000000000000000000000000..40d33ef2f01a1263387b74d4772a581fbdf641c9
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/factories/CompileServicesStaticContentProvider.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLCompileCommand.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLCompileCommand.class
new file mode 100644
index 0000000000000000000000000000000000000000..5a21099e3bd70b576d084e3cd02e60b31a23a654
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLCompileCommand.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$1.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$1.class
new file mode 100644
index 0000000000000000000000000000000000000000..f4dda1f105080f3e11b45664665bc8387c9f2f64
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$1.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$2.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$2.class
new file mode 100644
index 0000000000000000000000000000000000000000..d421ed14a29cc0fbf1b6b7159054f451005785e9
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$2.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$3.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$3.class
new file mode 100644
index 0000000000000000000000000000000000000000..973e51d51af50e59f68f15a7537ba1d5911605c8
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$3.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool.class
new file mode 100644
index 0000000000000000000000000000000000000000..aa7141240be68e46c5eb56c95b6a2e28c74ec0a7
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPoolFactory.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPoolFactory.class
new file mode 100644
index 0000000000000000000000000000000000000000..858c96a2ad654f4e916b2919fac52c72aaf9aae5
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPoolFactory.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStatus.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStatus.class
new file mode 100644
index 0000000000000000000000000000000000000000..8160f5769343a6176ecefb0a80f5a3e1037a4389
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStatus.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$1.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$1.class
new file mode 100644
index 0000000000000000000000000000000000000000..89999937346ba57ef0134a7d943c563005fa5805
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$1.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$2.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$2.class
new file mode 100644
index 0000000000000000000000000000000000000000..4dccf79b1f53f68fd867ac4008ef9cfad4ec0e1e
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$2.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$3$1.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$3$1.class
new file mode 100644
index 0000000000000000000000000000000000000000..a5dcd2abeb43af1c6c4bb54abef2b91d694fc279
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$3$1.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$3.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$3.class
new file mode 100644
index 0000000000000000000000000000000000000000..40c37e6fd657dd84208b011c9cf6addf970d6391
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$3.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler.class b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler.class
new file mode 100644
index 0000000000000000000000000000000000000000..b7881d7838d816c817b0aa5252252e84af39a256
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/workflows/STeXMMTWorkflow.class b/target/classes/info/kwarc/sally4/mhw/workflows/STeXMMTWorkflow.class
new file mode 100644
index 0000000000000000000000000000000000000000..66b4b058b6292eb5ead405315fda6fc8abe1745b
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/workflows/STeXMMTWorkflow.class differ
diff --git a/target/classes/info/kwarc/sally4/mhw/workflows/STeXMMTWorkflowFactory.class b/target/classes/info/kwarc/sally4/mhw/workflows/STeXMMTWorkflowFactory.class
new file mode 100644
index 0000000000000000000000000000000000000000..cd5252b89206832350fbebdba65cc5b76f280072
Binary files /dev/null and b/target/classes/info/kwarc/sally4/mhw/workflows/STeXMMTWorkflowFactory.class differ
diff --git a/target/classes/static/compileStatus.png b/target/classes/static/compileStatus.png
new file mode 100644
index 0000000000000000000000000000000000000000..7d3ac4ab86cfa33bcfaf6ec2cf670b597b57320b
Binary files /dev/null and b/target/classes/static/compileStatus.png differ
diff --git a/target/classes/templates/compileEvents.html b/target/classes/templates/compileEvents.html
new file mode 100644
index 0000000000000000000000000000000000000000..b9bccff304fc732d32421e736cf32e4506ba5c72
--- /dev/null
+++ b/target/classes/templates/compileEvents.html
@@ -0,0 +1,67 @@
+<head>
+ <script src='/sally/jobad/libs/js/libs.js'></script>
+ <link rel='stylesheet' type='text/css' href='/sally/bootstrap/css/bootstrap.min.css'>
+ <link rel="stylesheet" type='text/css' href="/sally/bootstrap/css/bootstrap-theme.min.css">
+ <script src="/sally/bootstrap/js/bootstrap.min.js"></script>
+ <script src="/sally/client/require.js"></script>
+</head>
+
+<style>
+<!--
+.compact {
+ max-width: 300px;
+ max-height: 50px;
+}
+-->
+</style>
+
+<body class="bootstrap">
+
+<table class="table">
+
+<thead>
+<th class="col-md-2">Compiler</th>
+<th class="col-md-3">Status</th>
+<th class="col-md-3">File</th>
+<th class="col-md-3">Details</th>
+</thead>
+
+<tbody id="msgTable">
+
+</tbody>
+</table>
+
+<script type="text/javascript">
+requirejs.config({baseUrl:"/sally/client"});
+
+var stompUrl = "ws://localhost:61614";
+var stompUser = "webclient";
+var stompPassword = "webclient";
+var stompTopic = "/topic/${body.repo}";
+
+require(["sally_client"], function(Client) {
+ var stompConnection = Stomp.client(stompUrl);
+ stompConnection.connect(stompUser, stompPassword, function(frame) {
+ stompConnection.subscribe(stompTopic, function(msg) {
+ var body = JSON.parse(msg.body);
+ var path = body.path;
+ var trunc = $("<abbr>").attr("title", path).html("..."+body.path.substr(-20));
+ var compMessage = $("<pre>").html(body.compileMessages);
+ $(compMessage).addClass("compact");
+ $(compMessage).click(function(){
+ $(compMessage).toggleClass("compact");
+ });
+
+ var tr = $("<tr>")
+ .append($("<td>").html(body.compiler))
+ .append($("<td>").html(body.status))
+ .append($("<td>").addClass("compact").append(trunc))
+ .append($("<td>").html(compMessage));
+
+ $("#msgTable").append(tr);
+ });
+ });
+});
+</script>
+
+</body>
\ No newline at end of file
diff --git a/target/maven-status/maven-compiler-plugin/compile/default-compile/createdFiles.lst b/target/maven-status/maven-compiler-plugin/compile/default-compile/createdFiles.lst
new file mode 100644
index 0000000000000000000000000000000000000000..404fb54dcf70d001f4a1abd0574d72aa39bc2244
--- /dev/null
+++ b/target/maven-status/maven-compiler-plugin/compile/default-compile/createdFiles.lst
@@ -0,0 +1,19 @@
+info/kwarc/sally4/mhw/compilers/ILaTeXMLStompCompiler.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$2.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$1.class
+info/kwarc/sally4/mhw/compilers/CompilationStatusUI.class
+info/kwarc/sally4/mhw/workflows/STeXMMTWorkflowFactory.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPoolFactory.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$2.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$3.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool.class
+info/kwarc/sally4/mhw/workflows/STeXMMTWorkflow.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$3$1.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLCompileCommand.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler$1.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool$3.class
+info/kwarc/sally4/mhw/compilers/factories/CompileServicesStaticContentProvider.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStatus.class
+info/kwarc/sally4/mhw/compilers/CompilationResultObject.class
+info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler.class
+info/kwarc/sally4/mhw/compilers/CompilationStatusUI$1.class
diff --git a/target/maven-status/maven-compiler-plugin/compile/default-compile/inputFiles.lst b/target/maven-status/maven-compiler-plugin/compile/default-compile/inputFiles.lst
new file mode 100644
index 0000000000000000000000000000000000000000..ff55be4d9fc2d67cf06cf8b3343b1dc188cee88d
--- /dev/null
+++ b/target/maven-status/maven-compiler-plugin/compile/default-compile/inputFiles.lst
@@ -0,0 +1,11 @@
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/java/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLCompileCommand.java
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/java/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool.java
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/java/info/kwarc/sally4/mhw/compilers/ILaTeXMLStompCompiler.java
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/java/info/kwarc/sally4/mhw/compilers/CompilationResultObject.java
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/java/info/kwarc/sally4/mhw/workflows/STeXMMTWorkflow.java
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/java/info/kwarc/sally4/mhw/compilers/factories/CompileServicesStaticContentProvider.java
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/java/info/kwarc/sally4/mhw/workflows/STeXMMTWorkflowFactory.java
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/java/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPoolFactory.java
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/java/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler.java
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/java/info/kwarc/sally4/mhw/compilers/CompilationStatusUI.java
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/main/java/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStatus.java
diff --git a/target/maven-status/maven-compiler-plugin/testCompile/default-testCompile/createdFiles.lst b/target/maven-status/maven-compiler-plugin/testCompile/default-testCompile/createdFiles.lst
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391
diff --git a/target/maven-status/maven-compiler-plugin/testCompile/default-testCompile/inputFiles.lst b/target/maven-status/maven-compiler-plugin/testCompile/default-testCompile/inputFiles.lst
new file mode 100644
index 0000000000000000000000000000000000000000..97b56ac8419efaa0ba274f73ad93bb123d45223e
--- /dev/null
+++ b/target/maven-status/maven-compiler-plugin/testCompile/default-testCompile/inputFiles.lst
@@ -0,0 +1 @@
+/home/cjucovschi/sally4-mhw/mhw-compiler-workflow/src/test/java/info/kwarc/sally4/mathhubworker/impl/MathHubWorkerManagerImplTest.java
diff --git a/target/mhw-compiler-workflows-1.0.0-SNAPSHOT.jar b/target/mhw-compiler-workflows-1.0.0-SNAPSHOT.jar
new file mode 100644
index 0000000000000000000000000000000000000000..a5d47b3aa73565db1ab6b4dc4351d08aa8d91d7e
Binary files /dev/null and b/target/mhw-compiler-workflows-1.0.0-SNAPSHOT.jar differ