Provide an API for default implementations of some common server manager
customizer panes like classes, sources and javadoc so that we won't have to
copy-paste the same code among plugins any more.
Created attachment 29710 [details]
Created attachment 29711 [details]
API change diff
Please review the following API change.
If there are no objections I will integrate this api change tomorrow.
After talking to Pavel, I've decided to postpone this API change.
The current proposal of the default classes customizer pane does not allow to
add new jars/libraries to the server, which we would likely want to add very
soon. At this point, it is, however, not completely clear how it should look like.
Adding this ability to the current proposal later would require an incompatible
change and therefore it seems reasonable to wait with integration until this API
includes this ability.
In the meantime plug-ins may use a temporary copy of this proposal, which will
be replaced once this issue gets fixed.
Obsolete milestone, please reevaluate