type alias for some java classes