Restore push
Merge branch 'release-1.0.2' of https://github.com/skysql/MariaDB-Manager-WebUI into release-1.0.2
Fix groupId of libMariaDB-Manager-java