如何重新格式化时间格式？

Question

我正在开发 android 项目，我从 API 接收到格式类似于“10:12:57 am”（12 小时格式）的时间，我想像这样以“10:12”格式显示它（在 24小时时钟）。那个时候怎么重新格式化？所以12:42:41 am应该成为00:42. 并且02:13:39 pm应该表示为14:13。