Yes, your "in short" is always true. Quoting directly from the language spec:
A member interface is implicitly?static(§9.1.1). It is permitted for the declaration of a member interface to redundantly specify the?static?modifier.
where "member interface" is defined shortly before:
A?member interface?is an interface whose declaration is directly enclosed in the body of another class or interface declaration (§8.1.6,?§9.1.4).
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…