In Java, it is perfectly legal to define final arguments in interface methods and do not obey that in the implementing class, e.g.:
final
public inter
I believe it may be a superfluous detail, as whether it's final or not is an implementation detail.
(Sort of like declaring methods/members in an interface as public.)