From 91c8a37f12f8304df0d72f29e79054a3230e65da Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Mon, 10 Sep 2018 09:43:17 +0200
Subject: [PATCH] Resolving warning on useless cast

---
 .idea/misc.xml                                        | 2 +-
 src/main/java/ui/avatarad/AvatarADPanel.java          | 2 +-
 src/main/java/ui/window/JDialogPerformancePragma.java | 2 +-
 src/main/java/ui/window/JDialogPragma.java            | 2 +-
 src/main/java/ui/window/JDialogSafetyPragma.java      | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.idea/misc.xml b/.idea/misc.xml
index b755d8ca46..51e5191ed4 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -38,7 +38,7 @@
       <property name="caretWidth" class="java.lang.Integer" />
     </properties>
   </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="false" project-jdk-name="1.7" project-jdk-type="JavaSDK">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="false" project-jdk-name="1.8" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/build" />
   </component>
 </project>
\ No newline at end of file
diff --git a/src/main/java/ui/avatarad/AvatarADPanel.java b/src/main/java/ui/avatarad/AvatarADPanel.java
index a45b09bfcc..513db7cbdc 100644
--- a/src/main/java/ui/avatarad/AvatarADPanel.java
+++ b/src/main/java/ui/avatarad/AvatarADPanel.java
@@ -172,7 +172,7 @@ public class AvatarADPanel extends TDiagramPanel implements TDPWithAttributes{
         y = ontheLeft.getY();
         iterator = componentList.listIterator();
         while(iterator.hasNext()) {
-            tgc = (TGComponent)(iterator.next());
+            tgc = iterator.next();
             if ((tgc instanceof AvatarADPartition) && (tgc !=  ontheLeft)){
                 tgc.setCd(tgc.getX(), y);
             }
diff --git a/src/main/java/ui/window/JDialogPerformancePragma.java b/src/main/java/ui/window/JDialogPerformancePragma.java
index ba2dc8421e..a828e59f77 100644
--- a/src/main/java/ui/window/JDialogPerformancePragma.java
+++ b/src/main/java/ui/window/JDialogPerformancePragma.java
@@ -167,7 +167,7 @@ public class JDialogPerformancePragma extends JDialogBase implements ActionListe
             }
             if (list.getSelectedValue() != null) {
                 try {
-                    final String selectedSuggestion = ((String) list.getSelectedValue()).substring(subWord.length());
+                    final String selectedSuggestion = (list.getSelectedValue()).substring(subWord.length());
                     textarea.getDocument().insertString(insertionPosition, selectedSuggestion, null);
                     return true;
                 } catch (BadLocationException e1) {
diff --git a/src/main/java/ui/window/JDialogPragma.java b/src/main/java/ui/window/JDialogPragma.java
index 04d1b1fd37..e5e5967e9d 100644
--- a/src/main/java/ui/window/JDialogPragma.java
+++ b/src/main/java/ui/window/JDialogPragma.java
@@ -197,7 +197,7 @@ public class JDialogPragma extends JDialogBase implements ActionListener {
             }
             if (list.getSelectedValue() != null) {
                 try {
-                    final String selectedSuggestion = ((String) list.getSelectedValue()).substring(subWord.length());
+                    final String selectedSuggestion = ( list.getSelectedValue()).substring(subWord.length());
                     textarea.getDocument().insertString(insertionPosition, selectedSuggestion, null);
                     return true;
                 } catch (BadLocationException e1) {
diff --git a/src/main/java/ui/window/JDialogSafetyPragma.java b/src/main/java/ui/window/JDialogSafetyPragma.java
index 6bb6c760e3..2f95073cee 100644
--- a/src/main/java/ui/window/JDialogSafetyPragma.java
+++ b/src/main/java/ui/window/JDialogSafetyPragma.java
@@ -175,7 +175,7 @@ public class JDialogSafetyPragma extends JDialogBase implements ActionListener {
             }
             if (list.getSelectedValue() != null) {
                 try {
-                    final String selectedSuggestion = ((String) list.getSelectedValue()).substring(subWord.length());
+                    final String selectedSuggestion = ( list.getSelectedValue()).substring(subWord.length());
                     textarea.getDocument().insertString(insertionPosition, selectedSuggestion, null);
                     return true;
                 } catch (BadLocationException e1) {
-- 
GitLab