Compiler log for org.eclipse.ui.ide.application_1.3.100.v20181129-0817 : @dot.xml

TOTAL : ERRORS: 0, WARNINGS: 3, INFOS: 0

errors others warnings infos forbidden warnings discouraged warnings

ERRORS

top others warnings infos forbidden warnings discouraged warnings

OTHER WARNINGS

top errors infos forbidden warnings discouraged warnings

INFO WARNINGS

errors others warnings forbidden warnings discouraged warnings

FORBIDDEN ACCESS WARNINGS

top errors infos others warnings discouraged warnings

DISCOURAGED ACCESS WARNINGS

top errors infos others warnings forbidden warnings

/src/org/eclipse/ui/internal/ide/application/IDEWorkbenchAdvisor.java : 3 warnings :

DISCOURAGED ACCESS WARNINGS
1. WARNING in /src/org/eclipse/ui/internal/ide/application/IDEWorkbenchAdvisor.java
 (at line 26)
import org.eclipse.core.internal.resources.Workspace;
Discouraged access: The type 'Workspace' is not API (restriction on classpath entry '/opt/public/eclipse/builds/4I/gitCache/eclipse.platform.releng.aggregator/eclipse.platform.resources/bundles/org.eclipse.core.resources/target/classes')
2. WARNING in /src/org/eclipse/ui/internal/ide/application/IDEWorkbenchAdvisor.java
 (at line 521)
status.merge(((Workspace) ResourcesPlugin.getWorkspace()).save(true, true, monitor));
Discouraged access: The method 'Workspace.save(boolean, boolean, IProgressMonitor)' is not API (restriction on classpath entry '/opt/public/eclipse/builds/4I/gitCache/eclipse.platform.releng.aggregator/eclipse.platform.resources/bundles/org.eclipse.core.resources/target/classes')
3. WARNING in /src/org/eclipse/ui/internal/ide/application/IDEWorkbenchAdvisor.java
 (at line 521)
status.merge(((Workspace) ResourcesPlugin.getWorkspace()).save(true, true, monitor));
Discouraged access: The type 'Workspace' is not API (restriction on classpath entry '/opt/public/eclipse/builds/4I/gitCache/eclipse.platform.releng.aggregator/eclipse.platform.resources/bundles/org.eclipse.core.resources/target/classes')