#!/bin/bash
gjl_package=jtidy
gjl_main="org.w3c.tidy.Tidy"
source /usr/share/java-config-2/launcher/launcher.bash
