eclipse: Revert accidental project setting commit.