return path.replaceFirst("/@","[@")+"]"; else return path;
path = path.replaceFirst("/@","[@")+"]"; if ( path.startsWith( " path = path.replaceFirst( "\\Q if ( path.startsWith( "/[" )) path = path.replaceFirst( "\\Q/[\\E", " return path;
	private String fixTrailingAttr( String path )	{		if ( path.matches(".*/@.*"))			return path.replaceFirst("/@","[@")+"]";		else			return path;	}