#! /bin/sh -

exec "/usr/local/openjdk17/bin/java" -jar /usr/local/share/java/classes/edumips64.jar "$@"
