5/16/14: ugh, JTrees are unnecessarily annoying to work with...