rename workflow so we can tell them apart
# This workflow will build a Java project with Maven
# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-maven
-name: Tests and Style Checks
-
+name: Java 16 Tests
on: [ push, pull_request, workflow_dispatch ]
jobs:
