#!/bin/bash

# classpath list taken from generated gumtree start script, and correct paths are substituted

classpath=(
/usr/share/java/gumtree/client.diff.jar
/usr/share/java/gumtree/client.jar
/usr/share/java/gumtree/gen.antlr3-antlr.jar
/usr/share/java/gumtree/gen.antlr3-json.jar
/usr/share/java/gumtree/gen.antlr3-php.jar
/usr/share/java/gumtree/gen.antlr3-r.jar
/usr/share/java/gumtree/gen.antlr3-xml.jar
/usr/share/java/gumtree/gen.antlr3.jar
/usr/share/java/gumtree/gen.c.jar
/usr/share/java/gumtree/gen.js.jar
/usr/share/java/gumtree/gen.srcml.jar
/usr/share/java/gumtree/core.jar
/usr/share/java/simmetrics/simmetrics-core.jar
/usr/share/java/trove4j/trove4j.jar
/usr/share/java/google-gson/gson.jar
/usr/share/java/jgrapht/jgrapht-core.jar
/usr/share/java/reflections.jar
/usr/share/java/spark/spark-core.jar
/usr/share/java/rendersnake/rendersnake.jar
/usr/share/java/antlr3.jar
/usr/share/java/js.jar
/usr/share/java/guava20/guava-20.0.jar
/usr/share/java/commons-codec.jar
/usr/share/java/jsr-305.jar
/usr/share/java/javassist.jar
/usr/share/java/findbugs-annotations.jar
/usr/share/java/slf4j/slf4j-api.jar
/usr/share/java/jetty/jetty-webapp.jar
/usr/share/java/jetty/websocket-server.jar
/usr/share/java/jetty/jetty-servlet.jar
/usr/share/java/jetty/jetty-security.jar
/usr/share/java/jetty/jetty-server.jar
/usr/share/java/jetty/websocket-servlet.jar
/usr/share/java/apache-commons-lang3.jar
/usr/share/java/stringtemplate4/ST4.jar
/usr/share/java/antlr3-runtime.jar
$JAVA_HOME/lib/tools.jar
/usr/share/java/glassfish-servlet-api.jar
/usr/share/java/jetty/websocket-client.jar
/usr/share/java/jetty/jetty-client.jar
/usr/share/java/jetty/jetty-http.jar
/usr/share/java/jetty/websocket-common.jar
/usr/share/java/jetty/jetty-io.jar
/usr/share/java/jetty/jetty-xml.jar
/usr/share/java/jetty/jetty-util.jar
/usr/share/java/jetty/websocket-api.jar
)

classpathstring=$(echo "${classpath[@]}" | tr ' ' :)

exec $(which java) $DEFAULT_JVM_OPTS $JAVA_OPTS $GUMTREE_OPTS -classpath $classpathstring com.github.gumtreediff.client.Run "$@"
