Optimizing the MongoDB Java Driver: How minor optimizations led to macro gains