Introducion a JavaSourceDocument. JavaSourceDocument aims to keep various information abou Java source such as parse tree, index, highlighted source. A limited cache of source documents is also maintained to speed up browsing.

LIBRARY         libjava
DESCRIPTION     'AddOn library for ST/X'
CODE            EXECUTE READ SHARED
DATA            READ WRITE
SECTIONS
    INITCODE READ EXECUTE SHARED
    INITDATA READ WRITE
EXPORTS
    _libjava_Init