Eclipse JDK settings.