+ } catch (HTMLParseException e) {
+ throw new ServletModuleException(e.toString());
+ } catch (IOException e) {
+ throw new ServletModuleException(e.toString());
+ } catch(StorageObjectException e) {
+ throw new ServletModuleException(e.toString());