ClassCastException in SuggestionsScanner

Hi Petr,

I added some lines in SuggestionsScanner:183 to fix a ClassCastException:

                // TODO FIXME HACK this instanceof added on 03.12.2003
                // to fix a ClassCastException
                if (provider instanceof DocumentSuggestionProvider) {
                    List l = ((DocumentSuggestionProvider) 
provider).scan(env);
                    if (l != null) {
                        // XXX ensure that scan returns a homogeneous 
list of tasks
                        manager.register(provider.getTypes()[0], l, 
null, list, true);
                    }
                }
//            }


--Tim