This document discusses the server customizer support, how the API should look like, etc. The relevant issue is 74646.
Currently the Platform, Classes, Sources and Javadoc server customizers are copy/pasted among the server plug-ins. Maintaining a duplicated code is quite expensive and error prone, having some support API for this would be beneficial.