mozilla/js/rhino/toolsrc/org/mozilla/javascript/tools/idswitch
