#!/bin/bash
set -e
ROOT="$(cd "$(dirname "$0")/.." && pwd)"
JAVA="$ROOT/Runtime/bin/java"
if [ ! -x "$JAVA" ]; then
  JAVA="$ROOT/Runtime/Contents/Home/bin/java"
fi
exec "$JAVA" \
  -Xmx256m \
  -Dfile.encoding=UTF-8 \
  -Dapple.awt.application.name=Gravit \
  -jar "$ROOT/Resources/Launcher.jar"
