*** WebXmlReader.java.orig	Thu Sep 13 10:38:37 2001
--- WebXmlReader.java	Thu Sep 13 10:41:51 2001
***************
*** 234,239 ****
--- 234,240 ----
  
  	    if( validate ) {
  		try {
+ 		    v.getParent().mkdirs();
  		    FileOutputStream fos=new FileOutputStream( v );
  		    fos.write( 1 );
  		    fos.close();