Changed getHash() to public in TInt10TripleSet.java