#!/bin/bash

java -jar /usr/share/java/openjml/openjml.jar "$@"