v20220710 (#335)

- version number increased to v20220710

Author: loesler

JAG3D/src/org/applied_geodesy/version/jag3d/Version.java

@@ -29,7 +29,7 @@ public class Version {
 	private final static Map<VersionType, Integer> versions = Map.of(
 			VersionType.ADJUSTMENT_CORE,   20211021,
 			VersionType.DATABASE,          20220512,
-			VersionType.USER_INTERFACE,    20220525
+			VersionType.USER_INTERFACE,    20220710
 	);
 
 	private Version() {}