Utilities to work with the Java Swing Shef library