use maven to generate alloy