diff --git a/lib/automaton.jar b/lib/automaton.jar
new file mode 100644
index 000000000000..af6606df1184
Binary files /dev/null and b/lib/automaton.jar differ