User-interface stuff that is not Swing- or command-line-specific.