Ruby Type Checking Compiler Java