}
public void testSyntheticDefault()
{
MockControl specControl = newControl(IApplicationSpecification.class);
IApplicationSpecification spec = (IApplicationSpecification) specControl.getMock();
MockControl dibControl = newControl(DefaultImplementationBuilder.class);
DefaultImplementationBuilder dib = (DefaultImplementationBuilder) dibControl.getMock();
Runnable r = (Runnable) newMock(Runnable.class);
MockControl fpc = newControl(ServiceImplementationFactoryParameters.class);
ServiceImplementationFactoryParameters fp = (ServiceImplementationFactoryParameters) fpc
.getMock();
// Training
fp.getParameters();
fpc.setReturnValue(createParameters("foo.bar"));
fp.getServiceInterface();
fpc.setReturnValue(Runnable.class);
spec.checkExtension("foo.bar");
specControl.setReturnValue(false);
dib.buildDefaultImplementation(Runnable.class);
dibControl.setReturnValue(r);