@Override
  public RefManagerExtension createRefManagerExtension(final RefManager refManager) {
    return new RefJavaManagerImpl((RefManagerImpl)refManager);
  }
@Override
  public RefManagerExtension createRefManagerExtension(final RefManager refManager)