protected String decode(String a_string) { return StringKit.decode(a_string); }
protected String encode(String a_string) { return StringKit.encode(a_string); }