Community
Participate
Working Groups
I20080917-0100 PDE/Tools reports the following warning: Description Resource Path Location Type SearchDocument extends non-API type InternalSearchDocument SearchDocument.java org.eclipse.jdt.core/search/org/eclipse/jdt/core/search line 23 API Usage Problem
Created attachment 112794 [details] Proposed fix
Released for 3.5M3
Verified for 3.5M3 using I20081026-2000