Let's call it just maven

It's the name of the latest debian package anyway