We should add @spec tags to java.compiler, jdk.compiler and jdk.javadoc modules, for eventual use in the summary External Specifications page
            
- relates to
- 
                    JDK-8296546 Add @spec tags to API -           
- Closed
 
-         
            
        
        JDK-8296546
        Add @spec tags to API
    
