new code_data_campus_NoticeContextUser( can_edit_notice, // scala.Option[java.lang.Boolean:Boolean] can_delete_notice // scala.Option[java.lang.Boolean:Boolean] )