| Cleaning output files: | |
| out/production/ArgumentContainment/Sub2.class | |
| End of files | |
| Compiling files: | |
| src/Sub2.java | |
| End of files | |
| Cleaning output files: | |
| out/production/ArgumentContainment/CaptureCreator.class | |
| out/production/ArgumentContainment/CaptureCreator2.class | |
| out/production/ArgumentContainment/GenericBound.class | |
| End of files | |
| Compiling files: | |
| src/CaptureCreator.java | |
| src/CaptureCreator2.java | |
| src/GenericBound.java | |
| End of files |