public HashMap<String, SecLevel> getSecurityLevel() {
   HashMap<String, SecLevel> secLevel = new HashMap<String, SecLevel>();
   if (declaration != null) {
     return declaration.getSecurityLevel();
   }
   return secLevel;
 }