Commit before an attempt to make pydev usable again.