Wir haben einen Bug im Java Sun XMLEncoder entdeckt und diesen beim Sun Developer Network eingemeldet.