8011044: Remove support for 1.5 and earlier source and target optionsReviewed-by: darcy, jjgContributed-by: neil.toda@oracle.com, brian.goetz@oracle.com
8005222: Fixed bugs should have tests with bugid in @bug tagReviewed-by: jfranck, jjgContributed-by: Andreas Lundblad <andreas.lundblad@oracle.com>
7192246: Add type-checking support for default methodsSummary: Add type-checking support for default methods as per Featherweight-Defender documentReviewed-by: jjg, dlsmith