Yes, the interface is a supertype. JLS 8.1.5 says, "The optional implements clause in a class declaration lists the names of interfaces that are direct superinterfaces of the class being declared."
"We're kind of on the level of crossword puzzle writers... And no one ever goes to them and gives them an award." ~Joe Strummer sscce.org