Eine kurze Notiz für mich selbst und anschließend für den Google-Suchindex: Wie stellt man ein frisch installiertes Ubuntu 12.04 LTS unfallfrei und bequem vom vorinstallierten OpenJDK 6 auf OpenJDK 7 um? Nachfolgende Anleitung gilt sowohl für die 32-bittige als auch für die 64-bittige Geschmacksrichtung.