{"library":"tomcat-jakartaee-migration","install":[{"cmd":"apt install tomcat-jakartaee-migration","imports":[]}]}