Users will soon be moving to J2SDK 1.5, and will be
trying to use JML with it. We should abandon support
for J2SDK 1.4.1 (if necessary) and try to support J2SDK
1.5.
It may also be that there are better alternatives to the
current architecture. Joe Kiniry suggested one such tool
that might be better than the current way of doing things.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=633675
There are also two new doc comment keywords added to JDK
1.5 that we need to support in jmldoc.
Logged In: YES
user_id=633675
It may also be that there are better alternatives to the
current architecture. Joe Kiniry suggested one such tool
that might be better than the current way of doing things.