DefaultCaseLabel extends CaseLabel { @Override public DefaultCaseLabel clone() { return new DefaultCaseLabel(); }  @Override void accept(IAstVisitor visitor); @Override DefaultCaseLabel clone();  }
@Test public void testDefaultCaseLabel() { assertEquals("default:\n", new DefaultCaseLabel().getText()); final DefaultCaseLabel defaultCaseLabel = new DefaultCaseLabel(); assertNotSame(defaultCaseLabel, defaultCaseLabel.clone()); }