István Jankovich — judge of a High Court (1793–1865)