118119120121122123124125126127
} else { throw new ServiceException("Could not create a writer for the format Gtopo30!"); } // freeing everything writer.dispose(); this.sourceCoverage.dispose(false); this.sourceCoverage = null; } }
116117118119120121122123124125126
// writing writer.write(sourceCoverage, null); }finally{ try{ // freeing everything writer.dispose(); }catch (Throwable e) { // TODO: handle exception } this.sourceCoverage.dispose(false); this.sourceCoverage = null;
6162636465666768697071
// writing writer.write(sourceCoverage, null); } finally { try { // freeing everything writer.dispose(); } catch (Throwable e) { // TODO: handle exception } sourceCoverage.dispose(false); }