Index: 3rdParty_sources/versions.txt =================================================================== diff -u -r92d4f7d34c60b79bfec1ca66a0fa5239fedd082c -rdd64f16fdf89f789b8c2179d421290dcabf15835 --- 3rdParty_sources/versions.txt (.../versions.txt) (revision 92d4f7d34c60b79bfec1ca66a0fa5239fedd082c) +++ 3rdParty_sources/versions.txt (.../versions.txt) (revision dd64f16fdf89f789b8c2179d421290dcabf15835) @@ -25,6 +25,8 @@ JBoss Web 2.1.3 +jsonwebtoken 0.9.0 + JSP API 2.3 lucene 2.4.0