NullPointerException in the log when a panel listed in the preference does not exist

Panels are loaded at startup and since the list of panels in the preference does not have any kind of validation on the actual existence of panels you end up with a java.lang.NullPointerException in the log when deleting the document of one of those panels.