/** Parse from string. Must be Dewey-decimal. */ public SpecificationVersion(String version) throws NumberFormatException { synchronized (parseCache) { int[] d = parseCache.get(version); if (d == null) { d = parse(version); parseCache.put(version.intern(), d); } digits = d; } }
/** Parse from string. Must be Dewey-decimal. */ public SpecificationVersion(String version) throws NumberFormatException { synchronized (parseCache) { int[] d = (int[])parseCache.get(version); if (d == null) { d = parse(version); parseCache.put(version.intern(), d); } digits = d; } }
/** Parse from string. Must be Dewey-decimal. */ public SpecificationVersion(String version) throws NumberFormatException { synchronized (parseCache) { int[] d = (int[])parseCache.get(version); if (d == null) { d = parse(version); parseCache.put(version.intern(), d); } digits = d; } }