[JSR308] Checkers in the future on different JDKs

[Adam Warski]

Hello,

I've been looking a bit through the checkers framework code, and I  
noticed that it uses extensively the com.sun.source.tree.* classes  
(for manipulating the AST of a program).

As far as I know, the com.sun.* classes are Sun-JDK specific, and  
aren't part of the public API.
So if in the future JSR308 becomes part of Java7, the checkers  
framework will only be guarenteed to work on Sun JDKs. Am I right?
(This API may also change in a backwards-incompatible way, so the  
checkers framework could also stop working on newer releases?)

-- 
Regards,
Adam Warski