/**
* Jumps to the next text.
*
* @throws IOException I/O exception
*/
void next() throws IOException {
pre = v.nextPres();
if (pre.length != 0) {
token = di.readBytes();
} else {
v.close();
di.close();
DropDB.drop(data.meta.name, pref + '.' + IO.BASEXSUFFIX, data.meta.prop);
}
}
