From 16578242850aa5f2f285c4c82b4b2983467e3095 Mon Sep 17 00:00:00 2001
From: anhefti <andreas.hefti@let.ethz.ch>
Date: Thu, 28 Mar 2024 16:05:47 +0100
Subject: [PATCH] fix build

---
 pom.xml                                                     | 6 +++---
 .../java/ch/ethz/seb/sebserver/gui/table/EntityTable.java   | 3 ++-
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/pom.xml b/pom.xml
index 4c892260..3ce55ffd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -70,7 +70,7 @@
         <profile>
             <id>let_reporting</id>
             <properties>
-                <java.version>17</java.version>
+                <java.version>1.8</java.version>
             </properties>
             <build>
                 <plugins>
@@ -79,8 +79,8 @@
                         <groupId>org.apache.maven.plugins</groupId>
                         <artifactId>maven-compiler-plugin</artifactId>
                         <configuration>
-                            <source>17</source>
-                            <target>17</target>
+                            <source>1.8</source>
+                            <target>1.8</target>
                         </configuration>
                     </plugin>
 
diff --git a/src/main/java/ch/ethz/seb/sebserver/gui/table/EntityTable.java b/src/main/java/ch/ethz/seb/sebserver/gui/table/EntityTable.java
index c61f3d99..b24d7487 100644
--- a/src/main/java/ch/ethz/seb/sebserver/gui/table/EntityTable.java
+++ b/src/main/java/ch/ethz/seb/sebserver/gui/table/EntityTable.java
@@ -637,7 +637,8 @@ public class EntityTable<ROW extends ModelIdAware> {
 
     private void adaptColumnWidthChange(final Event event) {
         final Widget widget = event.widget;
-        if (widget instanceof final TableColumn tableColumn) {
+        if (widget instanceof TableColumn) {
+            final TableColumn tableColumn = ((TableColumn) widget);
             if (this.filter != null) {
                 this.filter.adaptColumnWidth(
                         this.table.indexOf(tableColumn),