((ClassFileDocumentProvider) documentProvider).addInputChangeListener(this);
((ClassFileDocumentProvider) documentProvider).addInputChangeListener(this);
((ClassFileDocumentProvider) documentProvider).addInputChangeListener(this);
((ClassFileDocumentProvider) documentProvider).addInputChangeListener(this);
((ClassFileDocumentProvider) documentProvider).addInputChangeListener(this);
((ClassFileDocumentProvider) documentProvider).addInputChangeListener(this);