Method toString

app/src/main/java/javax/mail/Folder.java:1653–1660

override the default toString(), it will return the String from Folder.getFullName() or if that is null, it will use the default toString() behavior.

()

     */

    @Override
    public String toString() {
	String s = getFullName();
	if (s != null)
	    return s;
	else
	    return super.toString();
    }
}