A set of tools for building responsive GUIs using java swing