[DrJava] Debate on opening an open file behavior

[Charles R. <cr...@ri...>]

Hey everyone--
   Peter and I have been having a debate on how DrJava should behave if 
you try to open a file that is already open.  (Specifically, whether or 
not it should give you a message in any case.)  We have not been able to 
agree, so we'd welcome your input...  :)  Take a look at Ease of use 
Issue 543703 (Reopening a File) when you get a chance and add any 
feedback that you have...

Thanks,
Charlie