Initial C# files converted from Java