Eclipse-specific parts of the client-side service interface.