details of annotating JDK: fields are not stored in “annotations.xml”, some private classes (like java.lang.AbstractStringBuilder) should be includes in “annotations.xml” in order to make class hierarchy consistent from Kotlin point of view