Add check for IE9 and IE10 versions

If version >= 9000 return "ie9",
if version >= 10000 return "ie10".

Bug: issue 926
Change-Id: Ic9bb04f57b91d4ed785cd5e03c9390b523a5cba4

pom.xml

diff --git a/pom.xml b/pom.xml
index ac5296a..1268393 100644
--- a/pom.xml
+++ b/pom.xml
@@ -21,7 +21,7 @@
   <groupId>gwtexpui</groupId>
   <artifactId>gwtexpui</artifactId>
   <packaging>jar</packaging>
-  <version>1.3</version>
+  <version>1.3.1</version>
   <name>gwtexpui</name>
   <description>Extended UI tools for GWT</description>
   <url>https://gerrit.googlesource.com/gwtexpui</url>

src/main/java/com/google/gwtexpui/linker/server/UserAgentRule.java

diff --git a/src/main/java/com/google/gwtexpui/linker/server/UserAgentRule.java b/src/main/java/com/google/gwtexpui/linker/server/UserAgentRule.java
index f57db87..366b6c5 100644
--- a/src/main/java/com/google/gwtexpui/linker/server/UserAgentRule.java
+++ b/src/main/java/com/google/gwtexpui/linker/server/UserAgentRule.java
@@ -58,6 +58,12 @@
       Matcher m = msie.matcher(ua);
       if (m.matches() && m.groupCount() == 2) {
         int v = makeVersion(m);
+        if (v >= 10000) {
+          return "ie10";
+        }
+        if (v >= 9000) {
+          return "ie9";
+        }
         if (v >= 8000) {
           return "ie8";
         }