200201202203204205206207
this.base.save(); } catch( Exception e ) { throw new ResourceStoreException( e ); } }
5354555657585960616263
in = this.file.getContents(); setContents( in ); } catch( CoreException e ) { throw new ResourceStoreException( e ); } finally { if( in != null ) {
109110111112113114115116
this.modStamp = this.file.getModificationStamp(); } catch( CoreException e ) { throw new ResourceStoreException( e ); } }