The DominoJ compiler