checking out openjml for development

[Joseph Kiniry]

Following the directions on
   https://sourceforge.net/apps/trac/jmlspecs/wiki/OpenJmlSetup

I see the following error:

     Checked out revision 1877.
checkout https://jmlspecs.svn.sourceforge.net/svnroot/jmlspecs/JMLAnnotations/trunk 
  -r HEAD --depth=infinity --force
     svn: Connection reset
svn: PROPFIND request failed on '/svnroot/jmlspecs/!svn/vcc/default'
     svn: Connection reset
svn: PROPFIND request failed on '/svnroot/jmlspecs/!svn/vcc/default'
     A   /Local/Sandboxes/workspace_openjml/Specs/java4/java/io/
FilterOutputStream.jml

Have recently evolutions of workspace structure not been reflected in  
the current projectSet.psf file?

Joe


------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers