Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder ein alternativer Browser verwenden.
next.postorderEnumeration() liefert wahrscheinlich eine nicht generische Enumeration,
es gibt keine Möglichkeit, daraus ohne Warning etwas generisches zu machen