chore: change package name

5 files changed, 11 insertions, 9 deletions

diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/CacheControlFilter.java b/language-web/src/main/java/tools/refinery/language/web/CacheControlFilter.java
index a1d086c4..e39ce54c 100644
--- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/CacheControlFilter.java
+++ b/language-web/src/main/java/tools/refinery/language/web/CacheControlFilter.java
@@ -1,4 +1,4 @@
-package org.eclipse.viatra.solver.language.web;
+package tools.refinery.language.web;
 
 import java.io.IOException;
 import java.util.regex.Pattern;
diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java b/language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java
index 18b86ade..d249525f 100644
--- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java
+++ b/language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java
@@ -1,7 +1,7 @@
 /*
  * generated by Xtext 2.25.0
  */
-package org.eclipse.viatra.solver.language.web;
+package tools.refinery.language.web;
 
 import javax.servlet.ServletException;
 
diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebModule.java b/language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java
index 0eea7f1e..799a9c64 100644
--- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebModule.java
+++ b/language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java
@@ -1,7 +1,7 @@
 /*
  * generated by Xtext 2.25.0
  */
-package org.eclipse.viatra.solver.language.web;
+package tools.refinery.language.web;
 
 
 /**
diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebSetup.java b/language-web/src/main/java/tools/refinery/language/web/ProblemWebSetup.java
index 8d5778af..4738bc80 100644
--- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebSetup.java
+++ b/language-web/src/main/java/tools/refinery/language/web/ProblemWebSetup.java
@@ -1,14 +1,16 @@
 /*
  * generated by Xtext 2.25.0
  */
-package org.eclipse.viatra.solver.language.web;
+package tools.refinery.language.web;
+
+import org.eclipse.xtext.util.Modules2;
 
 import com.google.inject.Guice;
 import com.google.inject.Injector;
-import org.eclipse.viatra.solver.language.ProblemRuntimeModule;
-import org.eclipse.viatra.solver.language.ProblemStandaloneSetup;
-import org.eclipse.viatra.solver.language.ide.ProblemIdeModule;
-import org.eclipse.xtext.util.Modules2;
+
+import tools.refinery.language.ProblemRuntimeModule;
+import tools.refinery.language.ProblemStandaloneSetup;
+import tools.refinery.language.ide.ProblemIdeModule;
 
 /**
  * Initialization support for running Xtext languages in web applications.
diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java b/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java
index a6d58f95..c6ee94dc 100644
--- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java
+++ b/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java
@@ -1,7 +1,7 @@
 /*
  * generated by Xtext 2.25.0
  */
-package org.eclipse.viatra.solver.language.web;
+package tools.refinery.language.web;
 
 import java.io.File;
 import java.io.IOException;