gasmine: updated eclipse-config