/** * @param logBlockPatternBeginsBlock * the logBlockPatternBeginsBlock to set */ public synchronized void setLogBlockPatternBeginsBlock(boolean logBlockPatternBeginsBlock) { if (this.logBlockPatternBeginsBlock != logBlockPatternBeginsBlock) { this.logBlockPatternBeginsBlock = logBlockPatternBeginsBlock; fireDataChanged(); } }
/** * @param logBlockPattern * The logBlockPattern to set. */ public synchronized void setLogBlockPattern(Pattern linePattern) { if ((linePattern != null) && (!linePattern.equals(this.logBlockPattern))) { this.logBlockPattern = linePattern; fireDataChanged(); } }
/** * @param fileEncoding * the fileEncoding to set */ public synchronized void setFileEncoding(String fileEncoding) { if (!this.fileEncoding.equals(fileEncoding)) { this.fileEncoding = fileEncoding; fireDataChanged(); } } }