The interface construct of Java