}
}
}.read();
}
public static void save(String filename) {
new CompressedDataWriter(filename) {
public void write(DataOutputStream stream) throws IOException {
stream.writeInt(nodes.size());
//generate indices
int i = 0;
for (PathNode node : nodes.values()) {