Update Highs.java

it's giving me a null pointer exception at line 64 for some reason.