public static int getPriority(Class<?> c) {
			ExtensionPointProperties properties = c.getAnnotation(ExtensionPointProperties.class);
			return properties != null ? properties.priority()
					: ExtensionPointProperties.DEFAULT_PRIORITY;
		}
Gets the {@link ExtensionPoint} priority.

@param c the class to get {@link ExtensionPoint} priority of.
@return the class's {@link ExtensionPoint} priority 
  ({@link ExtensionPointProperties#DEFAULT_PRIORITY} will be used in a 
  non-{@link ExtensionPoint} is passed in)
Ghidra/Framework/Generic/src/main/java/ghidra/util/classfinder/ExtensionPointProperties.java