Idris Java Testing