7. marginatus (Bielawski, 1960)
Distribution: Indonesia (Java); Nepal.