On Tue, Feb 18, 2014 at 08:33:16AM -0800, Ming-Ho Yee wrote:
> According to the Joos Languages page, public constructors and protected constructors are allowed. However, I cannot find anything that explicitly forbids package private constructors or private constructors.
>
> I suspect that these are not supported, since Joos does not support package private classes/fields/methods or private fields/methods.
That's correct: package private constructors and private constructors
are not allowed in Joos.