// GetProperties.java
//
// Copyright (C) 1998 Henrik Bjorkman. 
// May be distributed under GNU General public licence.
//
//
// Credits
//
// SUNs jdk 1.1.6 was used when developing this program.
//
//
//
// History
//
// 1998-10-31 Created by Henrik Bjorkman


//package se.beod.henrik.nav;

import java.io.*;
import java.util.Date;
import java.util.Calendar;
import java.awt.*;
import java.text.*;
import se.beod.henrik.nav.*;




public class GetProperties
{

  static void debug(String s)
  {
    System.out.println("GetProperties: " + s);
  }

  static void error(String s)
  {
    System.err.println("GetProperties: " + s);
    System.exit(0);
  }

  public static void println(String s)
  {
    System.out.println(s);
  }


  void help()
  {
    println("Usage: Java GetProperties [switches]");
    println("switches:");
    println("-h      This text ");
    System.exit(0);
  }

  public GetProperties(String[] args) 
  {
    int argc=0;

    while (argc<args.length)
    {
      if (args[argc].charAt(0)!='-') break;
      if (args[argc].length()<2) {help();break;}
      switch(args[argc].charAt(1))
      {
        default  : help();break;      
      }
      argc++;
    }

    println("GetProperties");
    println("Copyright 1998 Henrik Bjorkman www.stacken.kth.se/~bjorkman");

    println(""+System.getProperties());
  }

  static public void main(String[] args)
  {
    new GetProperties(args);
  }


}