fileName = "file://" + fileName;
return new BufferedReader(new InputStreamReader(new URL(fileName).openStream()));
}
+
+ public final static String TCOFFEE_SCORE = "TCoffeeScore";
+ public static final int Phylip_FILE = 1;
+ public static final String Phylip_FILE_EXT = "phy";
+ public static final String Phylip_FILE_DESC = "PHYLIP";
+ public static final int JSON_FILE = 2;
+ public static final String JSON_FILE_EXT = "json";
+ public static final String JSON_FILE_DESC = "JSON";
+ public static final int Html_FILE = 3;
+ public static final String Html_FILE_EXT = "html";
+ public static final String Html_FILE_DESC = "HTML";
}