nama anak laki laki raja jawa