some Java interop stuff