User blog comment:JBox2D/Keba/@comment-24952680-20140915175532/@comment-24090662-20140918025910

Good idea, was in a bit of a hurry because windows 8 doesn't let you postpone updates.

I'll deal with it later, when I have time.