#!/bin/bash
DIR="$(dirname "$0")"
pushd "${DIR}"
JAVA=java
$JAVA -version
$JAVA -Djdk.gtk.version=3 -cp "${DIR}:${name.final}.jar" -Dfile.encoding=utf-8 ctbrec.ui.Launcher
popd