StrEscape.java

public class StrEscape {
    public void mangleLocalIds( int stage ) {
        super.mangleLocalIds( stage-1 );
    }
}