Lesezeichen nicht löschbar bei aktivem Suchfilter

Im 1.5.0.1 besteht das Problem nicht.

Wenn Du aber vom 1.0.7 auf den 1.5 und wieder zurück auf den 1.0.7 gegangen bist, und das mit dem gleichen Profil, dann ist es durchaus möglich, dass Dein Profil eine Macke hat.

Vielleicht war es aber auch noch ein Bug im 1.0.7? Kannst ja mal bei bugzillasuchen.

Ich habe den 1.0.7 schon seit dem Erscheinen des RC1 nicht mehr benutzt. Mittlerweile ist er gar nicht mehr installiert, ich kann also Dein Problem nicht mehr nachvollziehen, um entweder zu bestätigen, dass es so ist oder eben nicht.

ist ein bug in 1.0.

Ja, und?
Das Java-Plugin ist meines Wissens nicht mit 1.5 inkompatibel.