diff --git a/tools/tla2tools.jar b/tools/tla2tools.jar
index 0903b60..0506aa4 100644
Binary files a/tools/tla2tools.jar and b/tools/tla2tools.jar differ