private int[] getResList()
   {
       Object[] resList = super.getLocalResourceList();
       int resourceID[] = null;

       // if we have any resource
       if ((resList != null) && (resList.length != 0))
       {
           resourceID = new int[resList.length];
           for (int x = 0; x < resList.length; x++)
           {
               // Resource list contains list of resource IDs
               resourceID[x] = ((Integer) resList[x]).intValue();

               if (trace_flag == true)
               {
                   System.out.println(super.get_name() +
                            ": resource[" + x + "] = " + resourceID[x]);
               }
           }

        }

       return resourceID;
   }