+ * Returns the integer value of a locus, discarding any < or > prefix
+ *
+ * @throws NumberFormatException
+ * if value is not numeric
+ */
+ static int parseRangeEnd(String loc)
+ {
+
+ if (loc.startsWith("<") || loc.startsWith(">"))
+ {
+ loc = loc.substring(1);
+ }
+ return Integer.valueOf(loc);
+ }
+
+ /**