Just making sure we are synchronized in Eclipse