text: <!DOCTYPE walkmod PUBLIC "-//WALKMOD//DTD" "http://www.walkmod.com/dtd/walkmod-1.1.dtd">
  <walkmod>
      <modules>
          <module>java-symbol-solver-model</module>
          <module>java-symbol-solver-logic</module>
          <module>java-symbol-solver-core</module>
          <module>java-symbol-solver-examples</module>
      </modules>
  </walkmod>
  