diff --git a/tools/JLex.jar b/tools/JLex.jar
new file mode 100755
index 000000000..ae5f6d710
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 000000000..df8053ff7
Binary files /dev/null and b/tools/JLex_neu.jar differ