chore(web): fix lint error

1 files changed, 2 insertions, 2 deletions

diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentProvider.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentProvider.java
index fc45f74a..b6f04748 100644
--- a/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentProvider.java
+++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentProvider.java
@@ -12,7 +12,7 @@ import com.google.inject.Singleton;
 /**
  * Based on
  * {@link org.eclipse.xtext.web.server.model.IWebDocumentProvider.DefaultImpl}.
- * 
+ *
  * @author Kristóf Marussy
  */
 @Singleton
@@ -23,7 +23,7 @@ public class PushWebDocumentProvider implements IWebDocumentProvider {
         @Override
         public XtextWebDocument get(String resourceId, IServiceContext serviceContext) {
                 if (resourceId == null) {
-                        return new XtextWebDocument(resourceId, synchronizerProvider.get());
+                        return new XtextWebDocument(null, synchronizerProvider.get());
                 } else {
                         // We only need to send push messages if a resourceId is specified.
                         return new PushWebDocument(resourceId,