Update DifferenceEngine.java