~tapaal-contributor/tapaal/notes-hides-namelabels-1848947

#!/bin/sh

(cd release-version; /System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/bin/java -cp .:* TAPAAL)