Eclipse plugin: options description in documentation