public static int getHeaderIntDocId(JCas jCas) {
        try {
            Header header = JCasUtil.selectSingle(jCas, Header.class);
            return Integer.parseInt(header.getDocId());
        } catch (Exception e) {
            return -1;
        }
    }
public static int getHeaderIntDocId ( JCas jCas ) { try { Header header = JCasUtil . selectSingle ( jCas , Header . class ) ; return Integer . parseInt ( header . getDocId ( ) ) ; } catch ( Exception e ) { return - 1 ; } }
@return the value of the {@link Header#getDocId()} for this jCas as an
int, if set; -1 otherwise