Upload test-openjml
Upload the test file for debugging OpenJML