[josm-dev] Patch: fixes for delete

[Frederik Ramm]

Hi,

> It's a nuisance, but since you can chose which to compile against, isn't 
> it only a problem if someone makes a mistake (as above) or doesn't know 
> you need to use 5, or if you want to use some feature of Java that is 
> newly added to version 6?

Yes, Gabriel has pointed that out in the mean time. If you set your 
options right it should work with both versions.

Bye
Frederik