public CaseInsensitiveIdentifier(AbstractUtf8Array utf8) { super(utf8.ascii7BitLowerCase()); original = new Identifier(utf8); } public String toString() { return original.toString(); }
public CaseInsensitiveIdentifier(AbstractUtf8Array utf8) { super(utf8.ascii7BitLowerCase()); original = new Identifier(utf8); } public String toString() { return original.toString(); }