A converter from C++ to java