Title: Akhir perang Jawa, 1825-1830