re-added CosmasTree (temporarily deleted because maven exlude did not work)
diff --git a/pom.xml b/pom.xml
index a4a0098..f92fff3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -61,7 +61,7 @@
 	  <source>1.7</source>
 	  <target>1.7</target>
 	  <excludes>
-          <!--exclude>**/CosmasTree.java</exclude-->
+          <exclude>**/CosmasTree.java</exclude>
       </excludes>
 	</configuration>
       </plugin>