Restoring runfile in pydevconsole.