@Override
  public void saveProperties(@NotNull JpsDummyElement properties, @NotNull Element sourceRootTag) {
  }
@Override
  public void saveProperties(@NotNull JpsDummyElement properties, @NotNull Element sourceRootTag)