Some extensions for the JGoodies binding library