static void jShowFile(File f) { if (!f.exists()) ret; if (f.isDirectory()) { browseDir(f); ret; } if (f.getName().toLowerCase().endsWith(".mp4")) { playVideo(f); ret; } // default to showing text S data = readTextFile(f); showText(f2s(f), data); }