String () { CachedText cachedText = myCachedText; if (cachedText == null || cachedText.modificationStamp() != getModificationStamp()) { myCachedText = cachedText = new CachedText(calcText(), getModificationStamp()); } return cachedText.text(); }