Various tools for jwm window manager