#!/bin/bash
# ELAN launcher script
export JAVA_HOME="/opt/elan/lib/runtime"
export PATH="$JAVA_HOME/bin:$PATH"
exec /opt/elan/bin/ELAN_7.0 "$@"
