Oracle Fusion Middleware Blog

Deutsche Informationen rund um Oracle Fusion Middleware

Entfernen von Plug-Ins aus dem Oracle JDeveloper 10g

leave a comment »

Der Oracle JDeveloper benutzt ein Plug-In API, um zusätzliche Funktionalität in die Entwicklungsumgebung (IDE) zu integrieren. Im JDeveloper 10.1.3 werden diese Erweiterungen (Extensions) im Verzeichnis <JDev_Home>/jdev/extensions gespeichert. In bestimmten Fällen kann es notwendig sein, Erweiterungen aus dem JDeveloper zu entfernen. Da es keine explizite Funktion zum Deinstallieren dieser Erweiterungen im JDeveloper gibt, sollte man die folgenden manuellen Schritte kennen:

  1. Zunächst sollte man sich einen Überblick verschaffen, welche Erweiterungen (Extensions) im JDeveloper genutzt werden. Dies findet man heraus:
    • durch den Aufruf der Menü-Option: Help => About (tab Extensions)
    • durch den Aufruf der Menü-Option Tools => Preferences => Extensions
      Das Deaktivieren einer Erweiterung bewirkt hier aber nur, dass diese beim Start des JDeveloper nicht geladen wird.
  2. Unerwünschte Erweiterungen werden entfernt, indem die zugehörige jar-Datei und in manchen Fällen ein zugehöriges Unterverzeichnis unter <JDev_Home>/jdev/extensions gelöscht werden. Die Dateien und das Unterverzeichnis sind meistens durch den Namen der Erweiterung zu erkennen.
    Das aber reicht noch nicht aus! Bei jedem Start des JDeveloper werden alle Erweiterungen aus dem Verzeichnis <JDev_Home>/jdev/tmp/update erneut installiert. Deshalb müssen die unerwünschten Erweiterungen (normalerweise eine zip-Datei) auch aus diesem Verzeichnis gelöscht werden. <JM>

Written by fmtechteam

06/10/2008 um 12:08

Veröffentlicht in Jürgen Menge, JDeveloper

Tagged with ,

Schreibe einen Kommentar

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

WordPress.com-Logo

Du kommentierst mit Deinem WordPress.com-Konto. Abmelden / Ändern )

Twitter-Bild

Du kommentierst mit Deinem Twitter-Konto. Abmelden / Ändern )

Facebook-Foto

Du kommentierst mit Deinem Facebook-Konto. Abmelden / Ändern )

Google+ Foto

Du kommentierst mit Deinem Google+-Konto. Abmelden / Ändern )

Verbinde mit %s

%d Bloggern gefällt das: