/* **************************************************************************

  $Archive: /njcl_v2rmi/src/com/novell/service/session/util/DefaultProperties.java $
  $Revision: 6 $
  $Modtime: 11/15/00 3:43p $

  Copyright (c) 1997 Novell, Inc.  All Rights Reserved.

  THIS WORK IS  SUBJECT  TO  U.S.  AND  INTERNATIONAL  COPYRIGHT  LAWS  AND
  TREATIES.   NO  PART  OF  THIS  WORK MAY BE  USED,  PRACTICED,  PERFORMED
  COPIED, DISTRIBUTED, REVISED, MODIFIED, TRANSLATED,  ABRIDGED, CONDENSED,
  EXPANDED,  COLLECTED,  COMPILED,  LINKED,  RECAST, TRANSFORMED OR ADAPTED
  WITHOUT THE PRIOR WRITTEN CONSENT OF NOVELL, INC. ANY USE OR EXPLOITATION
  OF THIS WORK WITHOUT AUTHORIZATION COULD SUBJECT THE PERPETRATOR TO
  CRIMINAL AND CIVIL LIABILITY.

****************************************************************************/
package com.novell.service.session.util;

import com.novell.service.session.SessionException;
import java.util.Properties;
import java.io.*;

/** @internal
 */
public class DefaultProperties extends Properties
{
   public DefaultProperties()
   {
      super();
   }

   public DefaultProperties
   (
      Properties defaults
   )
   {
      super(defaults);
   }

   synchronized public void save
   (
      OutputStream out,
      String header
   )
   {
      if (isEmpty())
         defaults.save(out, header);
      else
         super.save(out, header);
   }
}


