It does seem to be a java thing.  It worked fine for me with shell commands too.<font color="#888888"><br></font>