Fix for #1922: protected members of JDK classes not visible in Ceylon subclass
Test for #1922: protected members of JDK classes not visible in Ceylon subclass