javadoc/dio-counter/jdk/dio/counter/pulsecounterconfig.mkd