generated JCas types