for (int j = 0, len = value.length(); j < len; ++j) {
            final char cc = value.charAt(j);
            final String rep;
            switch (cc) {
            case '"': rep = "&quot;"; break;