[omniORB] missed replace of omniORB3 to omniORB4?

[bjorn rohde jensen]

Hi Heinrich,

  I think, you are right about plenty omniORB3 keys being
used in omniORB4. They could easily be changed, but i
would think it more practical to minimize the use of
any omniORB keys.
  The one in your example does not seem necessary at all.

Yours sincerely,

Bjorn