public void ReInit(java.io.InputStream dstream, String encoding, int startline,
                     int startcolumn) throws java.io.UnsupportedEncodingException
  {
    ReInit(dstream, encoding, startline, startcolumn, 4096);
  }
public void ReInit ( java . io . InputStream dstream , String encoding , int startline , int startcolumn ) throws java . io . UnsupportedEncodingException { ReInit ( dstream , encoding , startline , startcolumn , 4096 ) ; }
Reinitialise.