#!/bin/sh
export PSHELL_EX_OPTIONS=${ex_options} 

# Run the plugin with application specific arguments, and all command-line passed arguments 
exec pshell-workbench -b -d -l -k -n -q -console_log=SEVERE -buffer_size=10 -size=1000x800 -p ${java_file} \$${app_args_var} "\$@"