/infrastructure/rhino1_7R1/src/org/mozilla/javascript/optimizer/