--- a/jdk/test/sun/tools/jps/jps-l_Output1.awk	Fri Jun 28 11:35:36 2013 -0700
+++ b/jdk/test/sun/tools/jps/jps-l_Output1.awk	Fri Jun 28 19:45:06 2013 +0100
@@ -8,10 +8,10 @@
 	    matched++;
 	}
 
-# or match on a jar file name - note, jar files ending with
+# or match on a jar or war file name - note, jar files ending with
 # ".jar" is only a convention , not a requirement. Theoretically,
 # any valid file name could occur here.
-/^[0-9]+ .*\.jar$/	{
+/^[0-9]+ .*\.(jar|war)$/	{
 	    matched++;
 }