1 files changed, 3 insertions, 0 deletions

diff --git a/openjml.sh b/openjml.sh
new file mode 100755
index 000000000000..f5799a0de2ac
--- /dev/null
+++ b/openjml.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+java -jar /usr/share/java/openjml/openjml.jar "$@"