parseCatalogFile(catfile); } catch (CatalogException ce) { System.out.println("FIXME: " + ce.toString());
parseCatalogFile(catfile); } catch (CatalogException ce) { System.out.println("FIXME: " + ce.toString());
parseCatalogFile(catfile); } catch (CatalogException ce) { System.out.println("FIXME: " + ce.toString());