--- a/jdk/test/sun/tools/jps/jps_Output1.awk	Fri Jun 28 11:35:36 2013 -0700
+++ b/jdk/test/sun/tools/jps/jps_Output1.awk	Fri Jun 28 19:45:06 2013 +0100
@@ -8,10 +8,10 @@
 	    matched++;
 	}
 
-# or match on a path name to a jar file - note, jar files ending with
+# or match on a path name to a jar or war file - 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++;
 }