Various tools and scripts used by JDU