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