Java TypeLanguage core library