Fixing another bug: The java.lang.StringBuilder.append(char c) needs to consider...