The version of HTML used by the JDK javadoc is 4.01 transitional. In that version of HTML, it is deprecated to use ordered lists with a particular attribute style to specifcy, say, alphabetical list output, but not illegal. Until this is a ready-available css replacement for various kinds of ordered lists in the JDK stylesheet, I don't think it is wothwhile for doclint to warn about this usage. This usage occurs in several places in the JDK javadoc, for example:

/w/lthudson/hudson-data/jobs/jdk8-lt-jdk-build/workspace/jdk/src/share/classes/java/lang/management/MemoryPoolMXBean.java:143: warning: attribute obsolete, use CSS instead: type
 * <ol type="a">



/w/lthudson/hudson-data/jobs/jdk8-lt-jdk-build/workspace/jdk/src/share/classes/java/net/URI.java:533: warning: attribute obsolete, use CSS instead: type
     * <ul type=disc>
           ^
/w/lthudson/hudson-data/jobs/jdk8-lt-jdk-build/workspace/jdk/src/share/classes/java/net/URI.java:996: warning: attribute obsolete, use CSS instead: type
     * <ol type=a>
             ^
/w/lthudson/hudson-data/jobs/jdk8-lt-jdk-build/workspace/jdk/src/share/classes/java/net/URI.java:1244: warning: attribute obsolete, use CSS instead: type
     * <ul type=disc>
           ^
/w/lthudson/hudson-data/jobs/jdk8-lt-jdk-build/workspace/jdk/src/share/classes/java/net/URI.java:1498: warning: attribute obsolete, use CSS instead: type
     * <ul type=disc>
           ^
/w/lthudson/hudson-data/jobs/jdk8-lt-jdk-build/workspace/jdk/src/share/classes/java/net/URI.java:1516: warning: attribute obsolete, use CSS instead: type
     * <ul type=disc>

The JDK cannot be doclint clean until this warning is addressed in one way or another.