We should probably go through all of the code and generally replace `private` with `private[this]`, or at least do so on performance-critical code paths.  The reason is that doing so guarantees simple access instead of use of generated getters and setters (which should get inlined away by HotSpot, but don't always....)