В 2023 году продажи российских Java-технологий выросли в 3,5 раза