Hi,
is there something wrong with https://tools.hana.ondemand.com/mars ?
My Eclipse says:
Provisioning exception
No repository found at https://tools.hana.ondemand.com/mars.
Interestingly, https://tools.hana.ondemand.com/luna works just fine!
best
Joachim