fun development_preference: JavaString in "Java" `{
		return Intent.CATEGORY_DEVELOPMENT_PREFERENCE;
	`}