* make windows understand that short and long filenames may point to the same file, although the pathname is different; solves cases where default browser could not be found * add some logging to windows browser detection
branches/nl.nikhef.jgridstart-flyingsaucer/nl.nikhef.jgridstart/src/nl/nikhef/jgridstart/install/BrowsersCommon.java