code: public synchronized void setTimestamp(String parameterName, Timestamp x,
              Calendar cal) throws SQLException {
          setTimestamp(findParameterIndex(parameterName), x, cal);
      }
docs: #ifdef JAVA4