protected void updateVertex(OrientVertex v) { v.setProperty("saved", ((Integer) v.getProperty("saved")) + 1); }