bugfix: calling flush() after printing translation
rewrote Translation.java to not store the hypergraph (expensive)