{"library":"jflex","install":[{"cmd":"brew install jflex","imports":[]},{"cmd":"apt install jflex","imports":[]}]}