Java driver converting ObjectId to hex string is extremely slow as it relies on repeated calls to String.format