Community
Participate
Working Groups
The build scan found references to non-TPTP internal API that must be removed. If it is not possible to remove the API, then open a bug against the team that owns the internal API to make the internal API public, and make this bugzilla depend on that bug. The following references were found: plugins/org.eclipse.hyades.probekit/src/org/eclipse/tptp/platform/probekit/registry/ProbeRegistryEntry.java: 369: // String[] org.eclipse.osgi.framework.internal.core.ManifestLocalization.buildNLVariants(String nl)
This is commented code. So nothing needs to be done.
Update owner
It's true that there is no internal API use to remove, but would it be possible to remove the comment so that this false positive is removed from the "internal API use" report?
Fix checked into HEAD
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this enhancement/defect has been resolved and unverified for more than 1 year and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.