Package org.mozilla.javascript.tools.idswitch