Hunter: java: fix a compilation error in MoteHunter.java