plugin to provide branding for Isabelle/Eclipse feature (in Eclipse About dialog)
set build qualifier inside feature branding plugin
better name for generated p2 repository
Merge branch 'feature-branding'