Can we rename that to "port"? Because that's also by convention the name we can use inside pom.xml to define the port. <port>8081</port> is imho better than <devPort>8081</devPort>. What do you think?