diff -r 210be56ecd1d -r 0fa6759948bc src/Tools/jEdit/patches/vfs_marker
--- a/src/Tools/jEdit/patches/vfs_marker	Wed May 14 11:31:23 2025 +0200
+++ b/src/Tools/jEdit/patches/vfs_marker	Thu May 15 22:55:29 2025 +0200
@@ -69,15 +69,3 @@
  	//{{{ getPath() method
  	public String getPath()
  	{
-diff -ru jedit5.7.0/jEdit/org/gjt/sp/jedit/jEdit.java jedit5.7.0-patched/jEdit/org/gjt/sp/jedit/jEdit.java
---- jedit5.7.0/jEdit/org/gjt/sp/jedit/jEdit.java	2024-08-03 19:53:14.000000000 +0200
-+++ jedit5.7.0-patched/jEdit/org/gjt/sp/jedit/jEdit.java	2024-10-29 11:50:54.062016616 +0100
-@@ -4233,7 +4233,7 @@
- 	} //}}}
- 
- 	//{{{ gotoMarker() method
--	private static void gotoMarker(final View view, final Buffer buffer,
-+	public static void gotoMarker(final View view, final Buffer buffer,
- 		final String marker)
- 	{
- 		AwtRunnableQueue.INSTANCE.runAfterIoTasks(new Runnable()