Virheellinen peruskartan nimi. Oikea nimi on Järvenkallionjärvi.