Update Highs.java