diff --git a/viskit/viskit-editor.jar b/viskit/viskit-editor.jar index d6f96aaad792517f9f5c4d11c731af79dfb41da6..901938ba42d8407eb738233c4e6010b00d090908 100644 Binary files a/viskit/viskit-editor.jar and b/viskit/viskit-editor.jar differ