The problem is as follows:
- The person has a lot of pending changes
- The person commits the changes
- The person does not click on the "Keep checked out"
- After the commit the files are still "Checked out", but now "Unchanged"
- "Undo check out" does not change the state, the files stays "Checked out"
So all in all it appears that it is just the GUI client, which "misunderstands the situation".
What is wrong?