In the last few days, I’ve worked on a few small things: I have created a compiler adapter for Ant [1] that allows me to use my xajavac [2] compiler — once you have annotations with subtyping it’s hard to let go of them again. On Monday, I made a bugfix for the remote control feature of DrJava [3], and today I tried to address another issue [4] that came up in a bug report [5].
I’ve also started on a version of the invariant checker that uses annotations with subtyping, but that hasn’t progressed too far yet; I first had to solve the Ant problem.
