VlstEscape.java

public class VlstEscape {
    public void unmangleIds( int stage ) {
        super.unmangleIds( stage-1 );
    }
}