@Override
  public void normalizeDeclaration() throws IncorrectOperationException {
    throw new IncorrectOperationException("cannot normalize declaration");
  }
@Override
  public void normalizeDeclaration()