A java port of Mango