To removing any doubt that it is required, the FunctionalInferface declaration should be clarified to be informative only with regards to whether or not a compiler treats an interface as a functional interface.