Ich habe nun meine Fragen in der Sourceforge.net gestellt und die
Antwort eines Entwicklers hat meine vorherige Vermutung bestätigt.
Dass UID und GUID dasselbe bedeutet. In der Antwort steht, es wurden zu
unterschiedlichen Zeiten unterschiedliche Teile von unterschiedlichen
Leuten geschrieben und GUID die richtige Bezeichnung wäre. Da steht
außerdem, dass der Fehler in Version 4.2 behoben wäre.
Der Link dahin ist:
http://sourceforge.net/forum/forum.php?thread_id=2658275&forum_id=185166
Trotzdem Danke