I would prefer not giving users the possibility to define their own instance of Properties. It should be automatically generated by the IDE. One reason is that it makes it easier for users to define their extension, another reason is API evolvement. When users define their own properties we simply can't automatically migrate this stuff to a new release of the IDE. Currently there are refactorings happening, see PR #636