The taxonomic and nomenclatorial status of the milliped generic names Parafontaria Verhoeff, Cyphonaria Verhoeff, and Japonaria Attems (Polydesmida, Xystodesmidae)