gejava: new tool that finds Java source files and opens them in gedit