} else {
File f = (File) r;
if( ( f.contentType != null && f.contentType.equals( "text/html" ) ) || f.name.endsWith( "html" ) ) {
BareBonesBrowserLaunch.openURL( r.href() );
} else if( ( f.contentType != null && f.contentType.contains( "image" ) ) || f.name.endsWith( "jpg" ) ) {
BareBonesBrowserLaunch.openURL( r.href() );
} else if( f.contentType != null && f.contentType.contains( "text" ) ) {
openTextEditor( f );
} else {
java.io.File dest = new java.io.File( "/home/brad/Desktop" ); // TODO
java.io.File rFile;