Some initial work on toJML