add infomration for default JRE

This is used by Eclipse; omitting it leads to a default of 1.5 which causes warnings
if not installed.