better Java interop