Update jmc:7 to the latest upstream jmc7 commit, 9c1257c91ebf .
Also includes two patch backports for JMC-6554  and JMC-6692 .
 http://hg.openjdk.java.net/jmc/jmc7/rev/9c1257c91ebf  https://github.com/openjdk/jmc/commit/4b315fe62adb44c5524b55cac2e286fa22324573  https://github.com/openjdk/jmc/commit/efc952149024cfb3d92863bd910395946d0beffe
Please login to add feedback.
This update has been submitted for testing by almac.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
This update can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by bodhi.
This update has been pushed to stable.