Correct way to configure the TCK

I have manged, barring some challenges, to get the TCK passing with Tomcat 11. However, that required various configuration steps that seem rather hacky. I suspect I am not quite doing things the right way. I'd like to understand the right way to do these things so I can submit a PR to add the necessary configuration to the TCK to run with Tomcat.

I added to tomcat-11 profile to tck/pom.xml. This appears to the the correct way to do things so I am not concerned about these.

The configuration changes I am concerned about are:

• arquillian.xml. Placed in tck/common/src/main/resources, sets the user name and password required to deploy the test WARs to Tomcat. Also sets a number of system properties required by the tests.
• tomcat-users.xml. Placed in tck/common/src/main/resources, used to configure the user required to deploy the test WARs to Tomcat. Also creates a user required by some tests.
• ProviderConfiguration.xml. It was necessary to modify this file as the application context identifier needed to be changed to match the naming used by Tomcat.

Pointers to better/correct ways for each of the above welcome.

Start by reviewing the Tomcat 11 profile in tck/pom.xml and the configuration files under tck/common/src/main/resources: arquillian.xml, tomcat-users.xml, and ProviderConfiguration.xml. Compare the current settings with the configuration required to deploy and run the TCK on Tomcat 11. Done means the correct configuration is identified, the TCK passes without hacky external changes, and the necessary files can be added through a focused PR.