2014/3/10 9:02 -0700, john.coomes at oracle.com: > A server-side hook to check pushkeys: > > http://cr.openjdk.java.net/~jcoomes/tools/jcheck/pushkey-hook/ Why does this belong in jcheck, rather than in a separate hook? - Mark