true, // OK if it's not there (1.9)
ExistingTargetStrategy.FAIL, StoreFileType.values() );
}
else
{
<BUG>DirectRecordStoreMigrator migrator = new DirectRecordStoreMigrator( pageCache, fileSystem, config );
migrator.migrate( storeDir, oldFormat, migrationDir, newFormat,
new StoreType[] {</BUG>
StoreType.LABEL_TOKEN, StoreType.LABEL_TOKEN_NAME,
StoreType.PROPERTY_KEY_TOKEN, StoreType.PROPERTY_KEY_TOKEN_NAME,

true, // OK if it's not there (1.9)
ExistingTargetStrategy.FAIL, StoreFileType.values() );
}
else
{
DirectRecordStoreMigrator migrator = new DirectRecordStoreMigrator( pageCache, fileSystem, config );
StoreType[] storesToMigrate = {
StoreType.LABEL_TOKEN, StoreType.LABEL_TOKEN_NAME,
StoreType.PROPERTY_KEY_TOKEN, StoreType.PROPERTY_KEY_TOKEN_NAME,
