Leave eclipse config options.