#!/bin/bash

DIR=$(dirname $0)
pushd "$DIR"
JAVA=java
$JAVA -version
$JAVA -cp "${DIR}:${name.final}.jar" -Dfile.encoding=utf-8 ctbrec.ui.Launcher
popd