An additional library for the JX widget library