Bug in Text.append(String)

This does the wrong thing when str = EMPTY_STRING
(dubious: should be str.equals("") since new String() != "")
but the real bug is that value=str; clears the old value instead of appending...

    public void append(String str) {
        String reason;

        if (str == null) {
            return;
        }
        if ((reason = Verifier.checkCharacterData(str)) != null) {
            throw new IllegalDataException(str, "character content", reason);
        }

        if (str == EMPTY_STRING)
             value = str;
        else value += str;
    }

_______________________________________________
To control your jdom-interest membership:
http://www.jdom.org/mailman/options/jdom-interest/[email protected]