#!/bin/sh
jolie $JOLIE_HOME/tools/jolietraceviewer.ol "$@"