Make all non-inherited classes final

2020-08-29 12:57:45 +02:00
1 parent 237db1c58a
commit f0b39322ec
@@ -5,7 +5,7 @@
 * Exception thrown in case the main entity of a page (e.g. an object, an institution etc.)
 * are not set public.
 */
-class MDhttpFailedException extends Exception {
+final class MDhttpFailedException extends Exception {

    /**
     * Error message.