make junitlauncher use ant.tmpdir as well
3 files changed