xref/hets/java.properties

	java.properties revision 5218
tree 5218:

DrIFT-src/
DtdToHaskell-src/
GenerateRules/
LiveCD/
Mac.txt
add-dir-tree-to-hets-lib.sh
appendHaskellPreludeString.hs
build_version.pl
casl.sty
checkChangedSourceGit.sh
checkSource.sh
checkSourceGit.sh
createKeywordDecls.hs
debian/
dol2het.pl
el/
findHs.sh
getDailyHets.sh
globallyInstallGhcPgk.sh
header_script/
hetcasl.sty
install.sh
installHetsPkgs.sh
installPkg.sh
itcor/
java_version.java
lstcasl.sty
macports/
mkcrypt.pl
nightly/
post_process_docs.pl
quickcheck
quickcheck.lhs
refactor.sh
replaceAllHeaders.sh
sysname.sh
test_lst.tex
ubuntu-install-isabelle2014.sh
ubuntu/
uninstall.sh
updateReleaseLinks.sh
words.pl