新大図鑑では記載が不十分として無効名としています。
ただ　Nagai,2010（月刊むし４６５号）にあるように、
同じような書かれ方で　こっちはよくてこっちはダメ　みたいのがあるのでどうなんでしょうか・・・
一応　昔はタイプ指定をしていなくてもよかったそうです。
いつからタイプ指定が必要になったかは
教えていただいた方から聞かなかったのでわかりませんが。

当方は一応P.javanusを無効名とし、
Nagel氏が記載したP.aterrimusを本種と分類しています。


Prosopocoilus aterrimus Nagel,1938:124-126,fig.
[Type Locality] Kaligoea(Slamat),Java insula
[sny] Metopodontus javanus（Frustorfer）Oberthür et Houlbert,1913:384-386,fig.35 [Java].
Prosopocoilus laterinus (nec Didier) Mizunema et Nagai,1994 [-].
Prosopocoilus ijengensis Fujita,2010:17214,figs.647(1-4) [Mt. Ijen,E.Jawa].