Add Ubuntu patch to work around OpenJDK bug

Change-Id: Ide9497aeba2570c5151cd7f6e6e4cea6480d3885
1 file changed