Hitting times of rare events in boundary driven symmetric simple exclusion processes

In the boundary driven symmetric simple exclusion process consider an open set $\ms O$ of density profiles which does not contain the stationary density profile. We prove that the first time the empirical measure visits the set $\ms O$ converges to an exponential distribution.