public interface Extra {
	// empty. Used for JAR test purposes only.
}