Workaround for https://bugs.eclipse.org/bugs/show_bug.cgi?id=455945
Merge branch 'master' of https://github.com/jOOQ/jOOL