Swing look-and-feel library and assorted widgets