Subhramit Basu

> Yes I did, but the error still remains. Any idea where the BstBaseVisitor class is supposed to be? i thought antlr will handle that class, but no such thing...

>  > This is what my application looks like right now. What do I do after this? Go to the entry editor, right click and rename the pdf name...

I have faced this too (noticed this yesterday). Every time I close and re-run JabRef (when running via IntelliJ), my task manager shows the old Postgres instance running. On running...

Tried with: ```java public class Launcher { public static void main(String[] args) { ... PostgreServer postgreServer = new PostgreServer(); Injector.setModelOrService(PostgreServer.class, postgreServer); Runtime.getRuntime().addShutdownHook(new Thread(() -> { if (postgreServer != null) {...

> Tried with: ... > Didn't work On checking logs, neither the try nor the catch is executed. On reading more, it appears that it's because there is no way...

Hmm...so is this issue unsolvable from the perspective of shutdown it seems..

@MhammedAhmmed Hi, I have un-assigned you to avoid confusions about this issue being taken, as this is a (potential) GSoC project. We will be assigning the mentee after selections are...

Also please restore the "How to test" section in the PR description

@koppor once https://github.com/JabRef/jabref/pull/11845 is merged, this I think should be a good second or third issue?

Please use the PR title and the description to elaborate what this PR is supposed to solve. If it is a work in progress, mark it as draft.