code: public static String getExtension(String path) {
  		int idx = path.lastIndexOf("/"); //$NON-NLS-1$
  		String filename = idx == -1 ? path : path.substring(idx+1);
  		idx = filename.lastIndexOf("."); //$NON-NLS-1$
  		return idx == -1 ? "" : filename.substring(idx+1); //$NON-NLS-1$
  	}
docs: Returns the file extension part of the specified path
  
  @param path the filname path of the file
  @return the file extension