Update StringInterval.java