problem = new DefaultProblem(null, Severity.WARNING, null, -1, -1, null);
        assertEquals(Severity.WARNING, problem.getSeverity());
    }

    @Test
    void testGetLineNumber() {
        DefaultProblem problem = new DefaultProblem(null, null, null, -1, -1, null);
        assertEquals(-1, problem.getLineNumber());

        problem = new DefaultProblem(null, null, null, 42, -1, null);