From c03ba3d7a909c667369c8916e7102e2a26783aa3 Mon Sep 17 00:00:00 2001 From: Carlos Morales Date: Sun, 20 Oct 2019 16:28:48 +0100 Subject: [PATCH] Amend the reference to JabRefReferences initialization The former filename does not exist, the updated file being referred does contain the initialization of JabRefPreferences. If the previous name is kept, new contributors could potentially be confused when looking for the file. --- src/main/java/org/jabref/Globals.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/org/jabref/Globals.java b/src/main/java/org/jabref/Globals.java index 71466ee47c7..a4399b13207 100644 --- a/src/main/java/org/jabref/Globals.java +++ b/src/main/java/org/jabref/Globals.java @@ -40,7 +40,7 @@ public class Globals { public static final RemoteListenerServerLifecycle REMOTE_LISTENER = new RemoteListenerServerLifecycle(); public static final ImportFormatReader IMPORT_FORMAT_READER = new ImportFormatReader(); public static final TaskExecutor TASK_EXECUTOR = new DefaultTaskExecutor(); - // In the main program, this field is initialized in JabRef.java + // In the main program, this field is initialized in JabRefMain.java // Each test case initializes this field if required public static JabRefPreferences prefs; /**