Program: 283
Project: 283
Buggy source:
/** 
 * Generates game manifest with default settings (title, seed) if not specified. Uses default world generator, and modules selection.
 * @TODO : rewrite/fix it when code will be more stable
 * @param universeWrapper  contains the universe level properties
 * @param moduleManager    resolves modules
 * @param config           provides default module selection, world generator
 * @return                 game manifest with default settings
 */
public static GameManifest createGameManifest(final UniverseWrapper universeWrapper,final ModuleManager moduleManager,final Config config){
  GameManifest gameManifest=new GameManifest();
  if (StringUtils.isNotBlank(universeWrapper.getGameName())) {
    gameManifest.setTitle(universeWrapper.getGameName());
  }
 else {
    gameManifest.setTitle(GameProvider.getNextGameName());
  }
  String seed;
  if (StringUtils.isNotBlank(universeWrapper.getSeed())) {
    seed=universeWrapper.getSeed();
  }
 else {
    seed=new FastRandom().nextString(32);
  }
  gameManifest.setSeed(seed);
  DependencyResolver resolver=new DependencyResolver(moduleManager.getRegistry());
  ResolutionResult result=resolver.resolve(config.getDefaultModSelection().listModules());
  if (!result.isSuccess()) {
    logger.error("String_Node_Str");
    return null;
  }
  for (  Module module : result.getModules()) {
    gameManifest.addModule(module.getId(),module.getVersion());
  }
  SimpleUri uri=config.getWorldGeneration().getDefaultGenerator();
  WorldInfo worldInfo=new WorldInfo(TerasologyConstants.MAIN_WORLD,seed,(long)(WorldTime.DAY_LENGTH * WorldTime.NOON_OFFSET),uri);
  gameManifest.addWorld(worldInfo);
  return gameManifest;
}

Fixed version (ground truth):
/** 
 * Generates game manifest with default settings (title, seed) if not specified. Uses default world generator, and modules selection.
 * @TODO : rewrite/fix it when code will be more stable
 * @param universeWrapper  contains the universe level properties
 * @param moduleManager    resolves modules
 * @param config           provides default module selection, world generator
 * @return                 game manifest with default settings
 */
public static GameManifest createGameManifest(final UniverseWrapper universeWrapper,final ModuleManager moduleManager,final Config config){
  GameManifest gameManifest=new GameManifest();
  if (StringUtils.isNotBlank(universeWrapper.getGameName())) {
    gameManifest.setTitle(universeWrapper.getGameName());
  }
 else {
    gameManifest.setTitle(GameProvider.getNextGameName());
  }
  String seed;
  if (StringUtils.isNotBlank(universeWrapper.getSeed())) {
    seed=universeWrapper.getSeed();
  }
 else {
    seed=new FastRandom().nextString(32);
  }
  gameManifest.setSeed(seed);
  DependencyResolver resolver=new DependencyResolver(moduleManager.getRegistry());
  ResolutionResult result=resolver.resolve(config.getDefaultModSelection().listModules());
  if (!result.isSuccess()) {
    logger.error("String_Node_Str");
    return null;
  }
  for (  Module module : result.getModules()) {
    gameManifest.addModule(module.getId(),module.getVersion());
  }
  SimpleUri uri=universeWrapper.getTargetWorld().getWorldGenerator().getUri();
  WorldInfo worldInfo=new WorldInfo(TerasologyConstants.MAIN_WORLD,seed,(long)(WorldTime.DAY_LENGTH * WorldTime.NOON_OFFSET),uri);
  gameManifest.addWorld(worldInfo);
  return gameManifest;
}