Add GiCoreView.getVersion().