* Development 14 | Experimental 9 *

* Fixed a bug: Settings readConfig() gave a NumberFormatException