this(dataset, dataset.numInstances());
StreamTokenizer tokenizer;
  public Instances(Instances dataset) {    this(dataset, dataset.numInstances());    dataset.copyInstances(0, this, dataset.numInstances());  }