private void Initialize()
{
using ( var file = File.Open( dataFilepath, FileMode.OpenOrCreate, FileAccess.ReadWrite, FileShare.None ) )
{
var reader = new StreamReader( file, Encoding.UTF8 );
allocatedNames = new HashSet<string>( reader.ReadToEnd().Split( new[] { '\r', '\n' }, StringSplitOptions.RemoveEmptyEntries ), StringComparer.OrdinalIgnoreCase );
file.SetLength( 0 );
var writer = new StreamWriter( file, Encoding.UTF8 );
writer.Write( string.Join( "\n", allocatedNames ) );
writer.Flush();
}
}