#!/bin/bash

java -jar /usr/share/java/key/KeY.jar "$@"