Package org.mozilla.javascript.tools.shell