migrate to java 8
migrate to java 8 for Building and FloorStatesAssert