Man pages matching name texjava in section 1:

texjava.1.en	debian 10 / tcode
texjava.1.en	debian 11 / tcode
texjava.1.en	debian 12 / tcode