+ //
+ // GZIPInputStream code borrowed from Aquaria (soon to be open sourced) via
+ // Kenny Sabir
+ Exception e = null;
+ if (fileStr.toLowerCase().endsWith(".gz"))
+ {
+ try
+ {
+ InputStream inputStream = url.openStream();
+ dataIn = tryAsGzipSource(inputStream);
+ dataName = fileStr;
+ return false;
+ } catch (Exception ex)
+ {
+ e = ex;
+ }
+ }
+
+ try
+ {
+ dataIn = new BufferedReader(new InputStreamReader(url.openStream()));
+ } catch (IOException q)
+ {
+ if (e != null)
+ {
+ throw new IOException(MessageManager.getString("exception.failed_to_resolve_gzip_stream"), e);
+ }
+ throw q;
+ }