Int php-java PHPJava\Kernel\Types\_Int Introduction _Int class is provided APIs for emulating Java's int on PHPJava. How to use TBD Provided methods TBD