Packages
basics
javatools
sofie.maxsat
sofie.parsing