[rules-dev] Guvnor 5.1 war file is now named as drools-5.1.0-guvnor.war?

[Jervis Liu]

Hi, just found that Guvnor 5.1 war file is now named as 
drools-5.1.0-guvnor.war? This way users have to change the default url 
to things like http://localhost:8080/drools-5.1.0-guvnor. Is this a 
mistake or intended?

Cheers,
Jervis