+ private static final String DEFAULT_RFAM_BASEURL = "https://rfam.xfam.org";
+
+ static
+ {
+ Platform.addJ2SDirectDatabaseCall(DEFAULT_RFAM_BASEURL);
+ }
+
+ /*
+ * append to URLs to retrieve as a gzipped file
+ */
+ protected static final String GZIPPED = "?gzip=1&download=1";