number of properties in DefaultMutableTreeNode depends on JVM not
necessarily on java spec version