At the moment the mitkKeyEvent class is defined in mitkEventTeypedefs.h. The class derives from mitkBaseEvent. No other class uses this "base" class. Other events in MITK (e.g. PostitionEvent) are derived from mitkEvent. So we have an inconsistend behavior of the mitkKeyEvent class.
mitkKeyEvent is only used in mitkBaseRenderer and there just a remapping to a mitkEvent is done.