From 3997c2408f192e22f809cd96faa5bc552530289d Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 14 Jun 2020 19:38:40 -0400
Subject: This branch is ready to be merged into master

---
 .../applicationConfiguration/impl/FileSpecificationImpl.java        | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java')

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java
index 3b728d0e..65364312 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java
@@ -1,5 +1,5 @@
 /**
- * generated by Xtext 2.12.0
+ * generated by Xtext 2.21.0
  */
 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
 
@@ -73,6 +73,7 @@ public class FileSpecificationImpl extends FileImpl implements FileSpecification
    * <!-- end-user-doc -->
    * @generated
    */
+  @Override
   public String getPath()
   {
     return path;
@@ -83,6 +84,7 @@ public class FileSpecificationImpl extends FileImpl implements FileSpecification
    * <!-- end-user-doc -->
    * @generated
    */
+  @Override
   public void setPath(String newPath)
   {
     String oldPath = path;
@@ -167,7 +169,7 @@ public class FileSpecificationImpl extends FileImpl implements FileSpecification
   {
     if (eIsProxy()) return super.toString();
 
-    StringBuffer result = new StringBuffer(super.toString());
+    StringBuilder result = new StringBuilder(super.toString());
     result.append(" (path: ");
     result.append(path);
     result.append(')');
-- 
cgit v1.2.3-54-g00ecf