Updated deprecated entry in Eclipse configuration file