Imports and typechecking java interop