/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/