Java to C# converter