8005299: Add FunctionalInterface checking to javacSummary: Javac should check that types annotated with @FunctionalInterface are indeed functional interfacesReviewed-by: jjg