A crude Eclipse plugin that inserts hyperlinks to files into the console