v4.0.3 doesn't refresh UI in Fedora 20 when user navigates away to another UI workspace and then comes back. Need to resize the window and then everything is re-painted.

Linux details: 3.16.3-200.fc20.x86_64 #1 SMP Wed Sep 17 22:34:21 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux

SQL Developer details:

About

-----

Oracle SQL Developer 4.0.3.16

Version 4.0.3.16

Build MAIN-16.84

IDE Version: 12.1.3.2.41.140908.1359

Product ID: oracle.sqldeveloper

Product Version: 12.2.0.16.84

Version

-------

Component    Version

=========    =======

Oracle IDE    4.0.3.16.84

Java(TM) Platform    1.7.0_51

Steps to re-produce:

1) Connect to DB

2) Enter in a fairly long running SQl query in SQL Worksheet

3) Run the query.

4) Navigate away to another workspace.

5) Eventually come back to SQL dveeloper by switching back to its workspace.

6) Look at results tab and see static info.

7) Move mouse over data panel or re-size window and see the result data panel display again.