+ catch (NumberFormatException ex)
+ {
+ if (line!=null) {
+ System.err.println("Couldn't read number from line:");
+ System.err.println(line);
+ }
+ }
+ }
+
+ /**
+ * make a friendly ID string.
+ *
+ * @param dataName
+ * @return truncated dataName to after last '/'
+ */
+ private String safeName(String dataName)
+ {
+ int p = 0;
+ while ((p = dataName.indexOf("/")) > -1 && p < dataName.length())
+ {
+ dataName = dataName.substring(p + 1);
+ }
+ return dataName;