[MERGED] Upgrading to Arduino 1.8.12

This topic has been merged into Fix for: Arduino IDE won't start (java.lang.NullPointerException).