79808182838485868788
/* ignore */ } } return true; } catch (IOException e) { throw new ExporterException("Could not format " + file, e); } catch (BadLocationException e) { throw new ExporterException("Could not format " + file, e); } }