transitionTimer.done("Converting trees into transition lists");
System.err.println("Number of transitions: " + transitionIndex.size());
Random random = new Random(op.trainOptions.randomSeed);
Treebank devTreebank = null;
if (devTreebankPath != null) {
<BUG>devTreebank = readTreebank(devTreebankPath, devTreebankFilter);
</BUG>
}
double bestScore = 0.0;
int bestIteration = 0;

transitionTimer.done("Converting trees into transition lists");
System.err.println("Number of transitions: " + transitionIndex.size());
Random random = new Random(op.trainOptions.randomSeed);
Treebank devTreebank = null;
if (devTreebankPath != null) {
devTreebank = readTreebank(devTreebankPath.first(), devTreebankPath.second());
}
double bestScore = 0.0;
int bestIteration = 0;
