title: GWT module XML - how to redefine and use more than one user agent
body: <p><a href="http://code.google.com/docreader/#p=google-web-toolkit-doc-1-5&amp;s=google-web-toolkit-doc-1-5&amp;t=FAQ_CompileOnePermutation" rel="noreferrer">http://code.google.com/docreader/#p=google-web-toolkit-doc-1-5&amp;s=google-web-toolkit-doc-1-5&amp;t=FAQ_CompileOnePermutation</a></p>
  
  <p>In the article I learned I can speed up the compiler but specifying the target user agent. The problem how can I specify more than one user agent? Suppose my application supports ie6 and FF3</p>
  
  <pre><code>&lt;set-property name="user.agent" value="ie6,geck1_8" /&gt;
  </code></pre>
  
  <p>doesn't work - I got XML parsing error:</p>
  
  <pre><code>[ERROR] Invalid property value 'ie6,gecko1_8'
  </code></pre>
  
  <p>I'm wondering if there's a way to specify more than one specific user agent in the module XML file?</p>