<html>
  <head>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Please review backport for:<br>
    <br>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
    <a href="http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7160084">http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7160084</a><br>
    <br>
    JDK 8 (already pushed) webrev here:<br>
    <br>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
    <a
      href="http://hg.openjdk.java.net/jdk8/tl/langtools/rev/37dc15c68760">http://hg.openjdk.java.net/jdk8/tl/langtools/rev/37dc15c68760</a><br>
    <br>
    Proposed JDK7u-dev backport:<br>
    <br>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
    <a href="http://cr.openjdk.java.net/%7Emcimadamore/2223274/">http://cr.openjdk.java.net/~mcimadamore/2223274/</a><br>
    <br>
    Thanks<br>
    Maurizio<br>
    <br>
    <br>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
  </body>
</html>