modify eclipse config file