successful java -> .NET int32 conversion