040000 tree f77e6b4bfb07218935689df153a309b0454a82b9	java-symbol-solver-core
040000 tree 3543e8748c78935f487aef53cf55382064506e60	java-symbol-solver-logic
040000 tree f9fb1a84698427ca58e6a2f0323b0b53db94fd23	java-symbol-solver-model