I don't think a full class name is that bad. We could shorten it by aliasing a package, but I don't think it matters that much.