[gatein-dev] exo kernel and depending on an external-plugin-configuration