#!/bin/bash
gjl_package=javacup
gjl_main="java_cup/Main"
source /usr/share/java-config-2/launcher/launcher.bash
