Fix Eclipse Settings

minor fix for eclipse configuration