
System.arraycopy(buf, 0, nodesBuffer, 0, nNodes * 8);
</BUG>
ArrayList<String> names = new ArrayList<String>();
<BUG>int idx = (nNodes + 1) * 8;
</BUG>
int start = idx;
for (int i = idx; i < buf.length; i++) {
if (buf[i] == 0) {
names.add(new String(buf, start, i - start, "UTF-8"));

Node n = readNode(nNodes, buf);
if (n.move == 0xffff)
break;
nNodes++;
}
nodesBuffer = new byte[nNodes * 12];
System.arraycopy(buf, 0, nodesBuffer, 0, nNodes * 12);
ArrayList<String> names = new ArrayList<String>();
int idx = (nNodes + 1) * 12;
int start = idx;
for (int i = idx; i < buf.length; i++) {
if (buf[i] == 0) {
names.add(new String(buf, start, i - start, "UTF-8"));
