Robocode 1.9.3.1 released

This release fixes issues with packaging robot teams, handles a visual HiDPI scaling issue, and running more frequent checks with the RoboRumble server.
Read more about it here:
http://robo-code.blogspot.dk/2018/03/robocode-1931.html