St. Michaelskloster, Johanneskirche