Parent Plugin case sensitivity

Plugins can define a parent plugin, which makes the plugin use the parent plugin classloader.

The parent plugin is defined by name in the plugin.xml file of the child plugin. This can lead to unexpected case sensitivity issues (case sensitivity of the filesystem is another factor that comes in play here).

The parent plugin definition in plugin.xml should not be case sensitive.