export const TreePath = $.type("javax.swing.tree.TreePath");