anchor.diff:  type
   
     (**
  -   * An implementer can save and load some stuffs on application start/quit
  +   * An implementer can save and load some stuffs when Coedit starts/quits
      *)
     ICESessionOptionsObserver = interface
     ['ICESessionOptionsObserver']
  
positive.code: 
  
    (**
     * An implementer can add a mainmenu entry.
     *)
    ICEMainMenuProvider = interface
    ['ICEMainMenuProvider']
  
negative.code: {
    Service getters:
  
    The first overload assign the variable only when not yet set, the second is
    designed for a punctual usage, for example if a widget needs the service in
    a single and rarely called method.
  