BaseXdb/basex — comment on commit bbe64d46ae156ac37ea81a5a7f2991f991fd29c4
File: src/main/java/org/basex/gui/GUIMacOSX.java line 133
By dimitarp:

Could we revert this change? I can't compile BaseX for RedHat 6 and CentOS 6 with OpenJDK 6