146147148149150151152153
} private ArrayList<SerializedTriple> serializeTriples(List<Triple> triples) throws IOException { ArrayList<SerializedTriple> l = new ArrayList<SerializedTriple>(); for(Triple t : triples) l.add(new SerializedTriple(t)); return l; }