[Drjava-users] .java~ File Extension

[Bob H. <bob...@gm...>]

How does this file type get generated and what relation is it to the .java
file?

Thanks!