private String getShortAssetName(String s) {
   Path sPath = new Path(s);
   return sPath.getName();
   // return s.replaceAll(".*/assets/.*/","");
 } // getShortAssetName(String)
 private String getShortName(String s) {
   Path sPath = new Path(s);
   return sPath.getName();
 }