I think this change will be transparent to everyone, i.e. nothing need change in your setup. You can remove the setting j13lib from your ant.properties if you want though.
If I use the same environment to build/test both the trunk as well as 10.1/10.2, I assume I should leave my ant.properties alone for now?
thanks, bryan
