Then you compile the decorated Java code as usual with the Java compiler. All iContract directives in Java code reside in class and method comments, just like Javadoc directives.