made OpenDefinitionHandler.openFile private again
(left-over from refactoring...)