Jigsaw spec clarifications

[Jesse Glick]

On 01/19/2012 05:33 PM, Jonathan Gibbons wrote:
> I presume, but the spec does not say, that in "provides service S with S_A" S_A should be a subtype of S.

Let us not forget that S_A must also be public, concrete, with a public default constructor, not a nested nonstatic class, and neither S nor S_A may have type arguments. 
Generally that

try {
   S _ = new S_A();
} catch (Exception x) {}

must be compilable (without raw/unchecked warnings) from a hypothetical class in the same module but in its own package.