Eclipse internals