Andrew -- The overnight test runs turned up nothing new, so I've added the jdk10-fix-yes label to 8198950. Please push your fix at will, directly to jdk/jdk10. Thanks for the fix, and to everyone who reviewed and tested it! - Mark