diff --git a/tools/key-2.13.0-exe.jar b/tools/key-2.13.0-exe.jar
index 1c7b233..9018710 100644
Binary files a/tools/key-2.13.0-exe.jar and b/tools/key-2.13.0-exe.jar differ