Deleting a Jdeveloper Extension

DELETING A JDEVELOPER EXTENSION

As per checks done looks like there is no user interface to delete an extension from Jdeveloper.But we can go ahead with disabling an extension from Jdeveloper.

1) Go to Tools -> Preferences -> Extensions from Jdeveloper and then uncheck the extesions which you want to disable as shown below 

 But if we want to really delete an extension from Jdeveloper then the only option looks to be do it manually.Prior to executing this manual step first stop any Jdeveloper running instances and then do the manual activity of deleting an extension.

Go to your <MiddlewareHome>/jdeveloper/jdev/extensions directory and then take a back up of this directory before deleting any specific extensions.

Say i want to delete BPM extension from Jdeveloper then search for JAR files with name like oracle.bpm.* as shown below

Now run Jdeveloper and see whether it is working fine after the deletion of the JAR files from the extension directory.If it is working fine then you can clean up your extension directory back up accordingly.