[MERGED] Arduino IDE crash at startup after Boards Manager has run

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