This is jEdit 5.5pre1 SVN rev 24775 (2017-11-04 02:43:57), with Java 9.0.1 on Linux.
A reload (F5) on an Untitled buffer crashes as follows:
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: java.io.FileNotFoundException:
/home/makarius/lib/jedit/repos/jedit-trunk/Untitled-1 (No such file or directory)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at java.base/java.io.FileInputStream.open0(Native
Method)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at java.base/java.io.FileInputStream.open(FileInputStream.java:196)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at java.base/java.io.FileInputStream.<init>(FileInputStream.java:139)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at java.base/java.io.FileInputStream.<init>(FileInputStream.java:94)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at org.gjt.sp.jedit.io.FileVFS._createInputStream(FileVFS.java:517)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at org.gjt.sp.jedit.bufferio.BufferLoadRequest.getNakedStream(BufferLoadRequest.java:142)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at org.gjt.sp.jedit.bufferio.BufferLoadRequest.readContents(BufferLoadRequest.java:219)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at org.gjt.sp.jedit.bufferio.BufferLoadRequest._run(BufferLoadRequest.java:81)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at org.gjt.sp.util.Task.run(Task.java:65)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1167)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:641)
9:57:50 AM [jEdit Worker #0] [error] BufferLoadRequest: at java.base/java.lang.Thread.run(Thread.java:844)
9:57:50 AM [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: /home/makarius/lib/jedit/repos/jedit-trunk/Untitled-1:
9:57:50 AM [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: Cannot load: java.io.FileNotFoundException:
/home/makarius/lib/jedit/repos/jedit-trunk/Untitled-1 (No such file or directory)
| Submitted | makarius - 2017-11-06 09:06:09.556000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | minor bug |
| Resolution | None |
| 2017-11-14 04:17:35.246000 daleanson |
I can't reproduce this. I'm running Arch Linux, updated last week, OpenJDK 9+181, jEdit latest from trunk as of today, revision 24778. Are there any other details you might be able to add? |
|---|---|
| 2017-11-15 19:41:31.407000 makarius |
I am running Ubuntu 16.04.3 LTS 64bit.
|
| 2017-12-07 14:18:43.166000 makarius |
See also bug #4056: an Untitled buffer without buffer.isUntitled() causes a crash as shown above. |