Update RevString.java