Minor feature improvements and bugfixes:
- #1790 - Improved the component search under the library tree.
- #1787 - Improved resizing and high-dpi support for file selection/browsing widget.
- #1789 - Upgraded JUNG graph API to 2.1.1.
- #1788 - Fixed compatibility with JDK 10.
