In the last few days, I’ve worked on a few small things: I have created a compiler adapter for Ant that allows me to use my xajavac 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, and today I tried to address another issue that came up in a bug report.
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.
