Changeset 2260 for trunk/autoquest-jfcmonitor

Timestamp:

08/01/19 12:11:21 (5 years ago)

Author:

pharms

Message:

Update to java 11

Location:

trunk/autoquest-jfcmonitor

Files:

• .classpath (modified) (1 diff)
• pom.xml (modified) (1 diff)
• src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCListener.java (modified) (2 diffs)

trunk/autoquest-jfcmonitor/.classpath

@@ -13 +13 @@
                 </attributes>
         </classpathentry>
-        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8">
-                <attributes>
-                        <attribute name="maven.pomderived" value="true"/>
-                </attributes>
-        </classpathentry>
+        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
         <classpathentry kind="con" path="org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER">
                 <attributes>

trunk/autoquest-jfcmonitor/pom.xml

@@ -36 +36 @@
             <plugin>
                 <artifactId>maven-compiler-plugin</artifactId>
-                <version>2.3.2</version>
+                <version>3.8.0</version>
                 <configuration>
-                    <source>1.8</source>
-                    <target>1.8</target>
+                    <release>11</release>
                 </configuration>
             </plugin>

trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCListener.java

@@ -77 +77 @@
                 builder.append(" <param name=\"Button\" value=\"" + mouseEvent.getButton() +
                     "\" />" + StringTools.ENDLINE);
-                builder.append(" <param name=\"Modifiers\" value=\"" + mouseEvent.getModifiers() +
+                builder.append(" <param name=\"Modifiers\" value=\"" + mouseEvent.getModifiersEx() +
                     "\" />" + StringTools.ENDLINE);
                 addSourceInfo(builder, event);
@@ -90 +90 @@
                 builder.append(" <param name=\"KeyCode\" value=\"" + keyEvent.getKeyCode() +
                     "\" />" + StringTools.ENDLINE);
-                builder.append(" <param name=\"Modifiers\" value=\"" + keyEvent.getModifiers() +
+                builder.append(" <param name=\"Modifiers\" value=\"" + keyEvent.getModifiersEx() +
                     "\" />" + StringTools.ENDLINE);
                 addSourceInfo(builder, event);