public void ReInit(java.io.Reader dstream, int startline,
                                                           int startcolumn)
  {
     ReInit(dstream, startline, startcolumn, 4096);
  }
public void ReInit(java.io.Reader dstream, int startline,
                                                           int startcolumn)