Military officer, building contractor and public servant in colonial Indonesia