I just merged the trunk-mint [1] branch of DrJava [2] back into the trunk and made a new weekly release [3] (@ I actually issue these “weakly” releases more often than just weekly. It’s just a convenient mechanism to benefit from the auto-update feature. @): drjava-weekly-20090929-r5094.jar [4].
