correctly handle java interop (null, overloading) in shortcut refinement
add highlighting to error msg