Generics gehen bei "Fix formatting post-migration: Javas, rmCRs" kaputt

Ich befürchte fast, dass @eagleeye die Ersetzungen manuell durchführt. Zumindest lassen das die Zeiten vermuten, zu denen Beiträge editiert werden. Beispielsweise hier sieht man Editzeiten, die bei relativ dicht aufeinanderfolgenden Beiträgen 5 Minuten unterschiedlich sind. Das passt eher zu einer manuellen Abarbeitung als zu einem Script.