updated @DataContructor javadoc