Software development toolmaker JetBrains has released IntelliJ IDEA 2020.1, a major update of its flagship code-centric Java IDE. This version ... an explicit search field and a reworked Refresh ...