Allow limited customization of plugin.xml file of plug-in
org.eclipse.platform (e.g., to set color of font shown on splash screen)