I won't hold this PR for this, but this could be a simple non-final Integer now, since all access is synchronized.