Program: 14739
Project: 14739
Buggy source:
private StateMachine<ServiceConfiguration,Component.State,Component.Transition> buildStateMachine(){
  final TransitionAction<ServiceConfiguration> noop=Transitions.noop();
  return new StateMachineBuilder<ServiceConfiguration,State,Transition>(this.parent,State.PRIMORDIAL){
{
      from(State.PRIMORDIAL).to(State.INITIALIZED).error(State.BROKEN).on(Transition.INITIALIZING).run(noop);
      from(State.PRIMORDIAL).to(State.BROKEN).error(State.BROKEN).on(Transition.FAILED_TO_PREPARE).run(noop);
      from(State.INITIALIZED).to(State.LOADED).error(State.BROKEN).on(Transition.LOAD).run(ServiceTransitions.TransitionActions.LOAD);
      from(State.LOADED).to(State.NOTREADY).error(State.BROKEN).on(Transition.START).addListener(ServiceTransitions.StateCallbacks.FIRE_STATE_EVENT).addListener(ServiceTransitions.StateCallbacks.STATIC_PROPERTIES_ADD).addListener(ServiceTransitions.StateCallbacks.PROPERTIES_ADD).run(ServiceTransitions.TransitionActions.START);
      from(State.NOTREADY).to(State.DISABLED).error(State.NOTREADY).on(Transition.READY_CHECK).addListener(ServiceTransitions.StateCallbacks.STATIC_PROPERTIES_ADD).addListener(ServiceTransitions.StateCallbacks.PROPERTIES_ADD).run(ServiceTransitions.TransitionActions.CHECK);
      from(State.DISABLED).to(State.ENABLED).error(State.NOTREADY).on(Transition.ENABLE).addListener(ServiceTransitions.StateCallbacks.FIRE_STATE_EVENT).run(ServiceTransitions.TransitionActions.ENABLE);
      from(State.DISABLED).to(State.STOPPED).error(State.NOTREADY).on(Transition.STOP).addListener(ServiceTransitions.StateCallbacks.FIRE_STATE_EVENT).run(ServiceTransitions.TransitionActions.STOP);
      from(State.NOTREADY).to(State.STOPPED).error(State.NOTREADY).on(Transition.STOPPING_NOTREADY).addListener(ServiceTransitions.StateCallbacks.FIRE_STATE_EVENT).run(ServiceTransitions.TransitionActions.STOP);
      from(State.DISABLED).to(State.DISABLED).error(State.NOTREADY).on(Transition.DISABLED_CHECK).addListener(ServiceTransitions.StateCallbacks.STATIC_PROPERTIES_ADD).run(ServiceTransitions.TransitionActions.CHECK);
      from(State.ENABLED).to(State.DISABLED).error(State.NOTREADY).on(Transition.DISABLE).addListener(ServiceTransitions.StateCallbacks.FIRE_STATE_EVENT).run(ServiceTransitions.TransitionActions.DISABLE);
      from(State.ENABLED).to(State.ENABLED).error(State.NOTREADY).on(Transition.ENABLED_CHECK).addListener(ServiceTransitions.StateCallbacks.STATIC_PROPERTIES_ADD).run(ServiceTransitions.TransitionActions.CHECK);
      from(State.STOPPED).to(State.INITIALIZED).error(State.BROKEN).on(Transition.DESTROY).run(ServiceTransitions.TransitionActions.DESTROY);
      from(State.BROKEN).to(State.STOPPED).error(State.BROKEN).on(Transition.STOPPING_BROKEN).run(noop);
      from(State.BROKEN).to(State.INITIALIZED).error(State.BROKEN).on(Transition.RELOAD).run(noop);
      from(State.STOPPED).to(State.PRIMORDIAL).error(State.BROKEN).on(Transition.REMOVING).run(ServiceTransitions.TransitionActions.DESTROY);
    }
  }
.newAtomicMarkedState();
}

Fixed version (ground truth):
private StateMachine<ServiceConfiguration,Component.State,Component.Transition> buildStateMachine(){
  final TransitionAction<ServiceConfiguration> noop=Transitions.noop();
  return new StateMachineBuilder<ServiceConfiguration,State,Transition>(this.parent,State.PRIMORDIAL){
{
      in(State.NOTREADY).run(ServiceTransitions.StateCallbacks.ENSURE_DISABLED);
      from(State.PRIMORDIAL).to(State.INITIALIZED).error(State.BROKEN).on(Transition.INITIALIZING).run(noop);
      from(State.PRIMORDIAL).to(State.BROKEN).error(State.BROKEN).on(Transition.FAILED_TO_PREPARE).run(noop);
      from(State.INITIALIZED).to(State.LOADED).error(State.BROKEN).on(Transition.LOAD).run(ServiceTransitions.TransitionActions.LOAD);
      from(State.LOADED).to(State.NOTREADY).error(State.BROKEN).on(Transition.START).addListener(ServiceTransitions.StateCallbacks.FIRE_STATE_EVENT).addListener(ServiceTransitions.StateCallbacks.STATIC_PROPERTIES_ADD).addListener(ServiceTransitions.StateCallbacks.PROPERTIES_ADD).run(ServiceTransitions.TransitionActions.START);
      from(State.NOTREADY).to(State.DISABLED).error(State.NOTREADY).on(Transition.READY_CHECK).addListener(ServiceTransitions.StateCallbacks.STATIC_PROPERTIES_ADD).addListener(ServiceTransitions.StateCallbacks.PROPERTIES_ADD).run(ServiceTransitions.TransitionActions.CHECK);
      from(State.DISABLED).to(State.ENABLED).error(State.NOTREADY).on(Transition.ENABLE).addListener(ServiceTransitions.StateCallbacks.FIRE_STATE_EVENT).run(ServiceTransitions.TransitionActions.ENABLE);
      from(State.DISABLED).to(State.STOPPED).error(State.NOTREADY).on(Transition.STOP).addListener(ServiceTransitions.StateCallbacks.FIRE_STATE_EVENT).run(ServiceTransitions.TransitionActions.STOP);
      from(State.NOTREADY).to(State.STOPPED).error(State.NOTREADY).on(Transition.STOPPING_NOTREADY).addListener(ServiceTransitions.StateCallbacks.FIRE_STATE_EVENT).run(ServiceTransitions.TransitionActions.STOP);
      from(State.DISABLED).to(State.DISABLED).error(State.NOTREADY).on(Transition.DISABLED_CHECK).addListener(ServiceTransitions.StateCallbacks.STATIC_PROPERTIES_ADD).run(ServiceTransitions.TransitionActions.CHECK);
      from(State.ENABLED).to(State.DISABLED).error(State.NOTREADY).on(Transition.DISABLE).addListener(ServiceTransitions.StateCallbacks.FIRE_STATE_EVENT).run(ServiceTransitions.TransitionActions.DISABLE);
      from(State.ENABLED).to(State.ENABLED).error(State.NOTREADY).on(Transition.ENABLED_CHECK).addListener(ServiceTransitions.StateCallbacks.STATIC_PROPERTIES_ADD).run(ServiceTransitions.TransitionActions.CHECK);
      from(State.STOPPED).to(State.INITIALIZED).error(State.BROKEN).on(Transition.DESTROY).run(ServiceTransitions.TransitionActions.DESTROY);
      from(State.BROKEN).to(State.STOPPED).error(State.BROKEN).on(Transition.STOPPING_BROKEN).run(noop);
      from(State.BROKEN).to(State.INITIALIZED).error(State.BROKEN).on(Transition.RELOAD).run(noop);
      from(State.STOPPED).to(State.PRIMORDIAL).error(State.BROKEN).on(Transition.REMOVING).run(ServiceTransitions.TransitionActions.DESTROY);
    }
  }
.newAtomicMarkedState();
}