ghino-simpleTest: updated eclipse config