Meaning of the name "Lombok"

[Ohad Meshulam]

Hi guys,

Non-technical question at all :-) 

Can you share how the name "Lombok" was chosen? what's the meaning of it (at least for the
original authors) 

Thanks!

[Dirk Steinkamp]

Have a look here: https://www.google.com/maps/dir/Java,+Indonesia/lombok/@-8.0301726,110.865042,7z/data=!3m1!4b1!4m13!4m12!1m5!1m1!1s0x2e7aa07ed2323237:0x86fe1c59d6abed60!2m2!1d110.7122465!2d-7.6145292!1m5!1m1!1s0x2dcdb7d23e8cc745:0x446689c4ab50d8c9!2m2!1d116.3249438!2d-8.650979

That would be my guess ... ;-)