ESC / Java 2 : Uniting ESC / Java and JML Progress and issues in building and using ESC / Java 2