Samsung Electronics Co. and Microsoft Corp. have agreed to end a contract dispute over the South Korean handset maker’s use of the Android operating system. The agreement, made public by the two companies in identical two-sentence posts on their respective corporate blogs, covers disputes in U.S. courts and in international arbitration. The companies didn’t disclose the terms of the agreement.