#!/bin/bash
gjl_package=clipsjni
gjl_jar="CLIPSJNI.jar"
source /usr/share/java-config-2/launcher/launcher.bash
