Update ProcedureManager.java