BUGS

Separate compilation is not supported.
If you specify -type-check option, you should also specify -global .

In initialization expressions, the types of the expressions are not
checked. (For example, int x = "str";  do not result in an error.)

There are still some bugs in inner class type-checking.
(EPP can not type-check the JDK1.2 library source code.)

Access privileges of methods and fields are totally ignored.
(For example, code that call private methods do not result in an error.)

Accessing instance variables or non-static methods from 
static methods do not result in errors.

Exception checks are totally ignored.
(For example, checking for required "throws" declarations.)

This version does not interpret constant expressions. Thus,
EPP cannot determine the type of (a ? b : c).  EPP also cannot check
assignment conversion.