A Bash Script Engine for Java implementing JSR223