Added some templates from trove4j to the integration test, and made the
verify script check if the sources are generated.