String (String padding) { if (padding.isEmpty()) return padding; if (padding.startsWith("'")) padding = '\"' + padding.substring(1); if (padding.endsWith("'")) padding = padding.substring(0, padding.length() - 1) + "\""; return padding; }