D/regex////
/.cvsignore/1.1/Tue Aug  2 21:04:10 2005//
/AbstractCollection.jml/1.2/Tue Mar 22 17:03:12 2005//
/AbstractList.spec/1.4/Fri Jul 29 14:06:52 2005//
/AbstractMap.refines-spec/1.3/Fri Jul 29 14:06:52 2005//
/AbstractSequentialList.refines-spec/1.4/Mon Aug 22 14:51:05 2005//
/AbstractSet.refines-spec/1.2/Tue Mar 22 17:03:12 2005//
/ArrayList.spec/1.7/Mon Aug 22 14:51:05 2005//
/BitSet.jml/1.5/Mon Aug 22 14:51:05 2005//
/Calendar.refines-spec/1.2/Tue Sep 13 10:42:05 2005//
/Collection.spec/1.10/Fri Jul 29 14:06:52 2005//
/Comparator.refines-spec/1.3/Mon Aug 22 14:51:05 2005//
/ConcurrentModificationException.spec/1.1/Thu May  5 00:40:33 2005//
/Date.refines-spec/1.2/Tue Sep 13 10:42:05 2005//
/Dictionary.refines-spec/1.3/Tue Sep 13 10:42:05 2005//
/EmptyStackException.spec/1.1/Thu May  5 00:40:33 2005//
/Enumeration.spec/1.4/Fri Jul 29 14:06:52 2005//
/GregorianCalendar.refines-spec/1.6/Tue Sep 13 10:42:05 2005//
/HashMap.refines-spec/1.2/Tue Mar 22 17:03:12 2005//
/Hashtable.refines-spec/1.4/Fri Jul 29 14:06:52 2005//
/LinkedList.spec/1.3/Tue Mar 22 17:03:12 2005//
/List.spec/1.10/Fri Jul 29 14:06:52 2005//
/ListIterator.spec/1.1/Tue Mar  1 18:58:45 2005//
/Locale.jml/1.1/Tue Mar  1 02:58:57 2005//
/Map.spec/1.6/Fri Jul 29 14:06:52 2005//
/MissingResourceException.spec/1.1/Thu May  5 00:40:33 2005//
/NoSuchElementException.jml/1.1/Tue Mar  1 02:58:57 2005//
/Observable.refines-spec/1.1/Tue Mar  1 02:58:57 2005//
/Observer.spec/1.1/Tue Mar  1 02:58:57 2005//
/Properties.spec/1.4/Fri Jul 29 14:06:53 2005//
/RandomAccess.spec/1.1/Sat Mar  5 11:13:24 2005//
/ResourceBundle.jml/1.1/Fri Aug 26 19:04:25 2005//
/Set.spec/1.3/Tue Mar 29 09:41:41 2005//
/TooManyListenersException.spec/1.1/Thu May  5 00:40:33 2005//
/Arrays.refines-spec/1.6/Tue Apr 18 21:20:00 2006//
/Vector.spec/1.11/Tue Apr 18 21:20:00 2006//
/Iterator.spec/1.5/Mon Jul 24 19:30:00 2006//
