Fix needing GL15 import on jdocs