Refactored to prevent possible RuntimeException in BadConfigFormatException class