fixed bugs in javac-wrap.pl