Void is not a type in Java. Nevertheless, a method that does not return a result is declared using the keyword void in place of the result type. In order to allow a uniform representation of methods, it is useful to define a ``void'' type as the result type in those cases. Since this fictitious type does not participate in any normal Java operations, we define a bogus operator in order to get OIL to regard voidType as a legitimate type: