diff --git a/tools/JLex.jar b/tools/JLex.jar
new file mode 100755
index 00000000..ae5f6d71
Binary files /dev/null and b/tools/JLex.jar differ
diff --git a/tools/JLex_neu.jar b/tools/JLex_neu.jar
new file mode 100755
index 00000000..df8053ff
Binary files /dev/null and b/tools/JLex_neu.jar differ