When adding a new SSH host definition, checking 'use key file' works. But when I edit an SSH host definition and modify 'use key file', it is not saved. So if it was checked, it remains checked even if I uncheck it, then click on OK. And vice versa. If it was unchecked, I can't edit it to become checked.
SQL Developer version: 4.1.0.18.37
Oracle JDK: 1.8.0_31, 64bit, Linux
Instant client: not used.