code: private static Version extractVersion() {
  		VersionInfo versionInfo = VersionInfo.getVersionInfo();
  		String versionString = versionInfo.getVersion();
  		String[] splits = versionString.split("\\.");
  		int major = 0;
  		int minor = 0;
  		int patch = 0;
  		int build = 0;
  		try {
  			major = Integer.parseInt(splits[0]);
  			minor = Integer.parseInt(splits[1]);
  			patch = Integer.parseInt(splits[2]);
  			build = Integer.parseInt(splits[3]);
  		} catch (Exception ignored) {
  
  		}
  		return new Version(major, minor, patch, build);
  	}
docs: extract version from {@link it.unibz.inf.ontop.utils.VersionInfo}, which is from the file {@code version.properties}