Update ConciseString.java