Thanks for the confirmation.
For this project, I cannot afford to go and use some "random" latest version of the classes.jar file. I rather have a version with known workarounds for known bugs, than a version that is just out and I'll have to wait and see what I encounter and hope that I or someone else can fix it somehow.
I'll try some newer classes.jar/snapshots at home, but for this project for which I need that Ultrasonic sensor, I'll just not plug it into port 4. The light sensor seems to work fine in there, and the Uss seems to work fine in three, so at the moment I'm happy with vanilla 0.85