This is true..
Particularly because he's a javanese where most javanese has a
suffix -man at the end of their names such as Aliman, Suparman and
Budiman...
and also, the arabic/jawi translation prove to be correct and
denotes the exact "spelling" to that name...