Added more javadoc for StringDerivedProperty.