MGWTHtml5ManifestServlet fails if GWT module was compiled with user.agent=safari

What steps will reproduce the problem?
1. have <set-property name="user.agent" value="safari" /> in module.gwt.xml
2. use MGWTHtml5ManifestServlet and include manifest=... in <html>
3. compile, start server, point web client to server's URL
4. manifest won't be generated and logfile will show 
"javax.servlet.ServletException: unkown device"

What is the expected output? What do you see instead?
- expecting a valid manifest
- instead I see an exception

What version of the product are you using? On what operating system?
GWT 2.5.1, MGWT 1.1.2, Linux

Please provide any additional information below.
- Workaround is to add another user.agent, e.g. <set-property name="user.agent" 
value="gecko1_8,safari" />
- debugging shows, that user.agent does not appear in manifest.map when only a 
single possible value is chosen.
- 
com.googlecode.mgwt.linker.server.Html5ManifestServletBase.getPermutationStrongN
ame fails because it always requires an exact match
- I will submit a push request for comparing only values really existing in 
manifest.map

Original issue reported on code.google.com by shesse....@googlemail.com on 30 May 2013 at 3:40

google-code-export / mgwt

MGWTHtml5ManifestServlet fails if GWT module was compiled with user.agent=safari #303