Source Code Cross Referenced for Void.java in  » Testing » KeY » java » lang » Java Source Code / Java DocumentationJava Source Code and Java Documentation

1:        package java.lang;
2:
3:        public final class Void {
4:            public static final Class TYPE;
5:
6:            private Void() {
7:            }
8:        }