Update Tregmine.java