979899100101102103104105106107
private void initializeHyphenator() { if (hyphenator != null) { return; } hyphenator=new Hyphenator(); hyphenator.setErrorHandler(new ErrorHandler() { @Override public void debug(String arg0, String arg1) { }