This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: Patch: URL.getFile() tweak and doc improvements
>>>>> "Mark" == Mark Wielaard <mark@klomp.org> writes:
Mark> Thanks. I added a little comment to the code that we are explicitly not
Mark> following the online JDK 1.4 documentation for this class. Otherwise
Mark> their is a real chance that someone writes a mauve tests and re-fixes
Mark> this method.
Excellent idea. In other places we use @specnote to mark this kind of
thing, I suggest it here as well.
Tom