fixed typo in Eclipse platform configuration for Travis