adding activemq

...va/info/kwarc/sally4/servlet/ServletEndpointProvider.java

activemq/.classpath

activemq/.project

activemq/.settings/org.eclipse.jdt.core.prefs

activemq/.settings/org.eclipse.m2e.core.prefs

activemq/pom.xml

...main/java/info/kwarc/sally4/activemq/ActiveMQService.java

.../info/kwarc/sally4/activemq/impl/ActiveMQServiceImpl.java

build.sh

...src/main/java/info/kwarc/sally4/docmanager/AlexRoute.java

...java/info/kwarc/sally4/docmanager/impl/AlexRouteImpl.java

...fo/kwarc/sally4/docmanager/routes/SallyRegisterRoute.java

pom.xml

servlet/.classpath

servlet/.project

servlet/.settings/org.eclipse.jdt.core.prefs

servlet/.settings/org.eclipse.m2e.core.prefs

servlet/pom.xml

...src/main/java/info/kwarc/sally4/servlet/SallyServlet.java

...main/java/info/kwarc/sally4/servlet/impl/ServletImpl.java