More careful identification of @ignore

[Martin Buchholz]

Hi jtreg maintainers,

This is a bug report.

If I try to test  jdk/test/sun/net/idn/PunycodeTest.java,
with @ignore'd tests suppressed, I get:

 jdk/test/sun/net/idn  $ ~/jct-tools/3.2.2_03/linux/bin/jtreg
-v:nopass,fail -automatic "-k:\!ignore"
-testjdk:$FOREST/jdk/../build/linux-i586/j2sdk-image PunycodeTest.java
Test results: no tests selected

This is due to the occurrence of the string "ignore" in

 * @compile -XDignore.symbol.file PunycodeTest.java

as any mangling of that string in the sources and retesting demonstrates.

Probably the original coder was lazy and simply searched for the
"ignore" substring,
whereas a more disciplined search for @ignore or maybe @key WORD ...
is necessary.

Martin