String (@NotNull String charLiteral) { if ("'\"'".equals(charLiteral)) { return "\"\\\"\""; } else if ("'\\''".equals(charLiteral)) { return "\"'\""; } else { return '\"' + charLiteral.substring(1, charLiteral.length() - 1) + '\"'; } }