System.out.println("PolishSourceViewerConfiguration.handlePropertyChangeEvent(...):enter.");
    public void handlePropertyChangeEvent(PropertyChangeEvent event) {        // TODO ricky implement handlePropertyChangeEvent        super.handlePropertyChangeEvent(event);        this.polishSingleLineCommentScanner.adaptToPreferenceChange(event);    }