[MERGED] Updated linux mint today 06-11-2020. Now Arduino IDE will not open

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