Index: 3rdParty_sources/versions.txt
===================================================================
diff -u -r2e874fcc582c774efc0294796c69bad5ddc46fcf -r73b462f151f11f9bf53b767213e8dbf7cb3abcc5
--- 3rdParty_sources/versions.txt	(.../versions.txt)	(revision 2e874fcc582c774efc0294796c69bad5ddc46fcf)
+++ 3rdParty_sources/versions.txt	(.../versions.txt)	(revision 73b462f151f11f9bf53b767213e8dbf7cb3abcc5)
@@ -33,6 +33,8 @@
 
 JBoss Web 2.1.3
 
+jLaTexMath 1.0.6
+
 JSP API 2.3
 
 lucene 2.4.0