A bug in ApplicationConfiguration ?

Altough ApplicationConfiguration is not public () I'm using it to create my configurations.

I think there is a bug in ApplicationConfiguration:

ApplicationConfiguration extends CoverageEnabledConfiguration ... {
public ApplicationConfiguration(String s, Project project, ApplicationConfigurationType applicationconfigurationtype)
{
super(s, new RunConfigurationModule(project, true), applicationconfigurationtype.getConfigurationFactories()[0]);
}
}

The problem is my configuration type (derived from ApplicationConfigurationType) has more than one factory. In this case the factory that is passed to the super class *CoverageEnabledConfiguration * is always the first factory.

This cause a lot of problems.
Can the ctor be fixed to take the ConfigurationFactory and not the ApplicationConfigurationType (as in *CoverageEnabledConfiguration * ).

Thanks
Boaz