使用Java渲染PDF样张（通过LaTex？）

目前我正在研究Java中的自动化定理证明器。 我希望能够以PDF格式呈现这些证据。 最好是使用proof.sty或qtree.sty来完成像LaTeX这样的东西。 但是，我已经读过从Java渲染LaTeX代码可能有点问题。 在Java中，证明由简单树表示，灵感来自Haskell树，如下所示：

class Tree<A> {
  A       value;
  List<A> subForest;
}

有没有人对如何做到这一点有任何想法？ 在一个相关的注释（即所有其他失败的解决方案）从Java调用

pdflatex

可执行文件的最佳实践是什么？ （至于找到它，弄清楚它是否存在等等......）