java to C#