[MERGED] Problem while opening Board Manager

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