An extension to flymake that uses JDEE and Jikes