Satz230 extends SpartensatzX { public Satz230() { this(UNKNOWN_SPARTE); } Satz230();  Satz230(final int sparte);   }
@Test public void testSatz230() { Datensatz antragsdaten = new Satz230(30); assertEquals(230, antragsdaten.getSatzart()); assertEquals(30, antragsdaten.getSparte()); assertTrue("invalid: " + antragsdaten, antragsdaten.isValid()); }