fixed checkstyle warnings. Renamed LWR State interface.