MODULE main
	CLASS test/Anno.class
		CLASS METADATA
			PROPERTY uglyJvmName()Ljava/lang/String;
				Property: class.metadata.property.getterModifiers
					K1
						public final
					K2
						public final /* non-default */
