From f4aa8b33218beab0ea4022a1aa77cac4e73b9c16 Mon Sep 17 00:00:00 2001
From: William S Fulton <wsf@fultondesigns.co.uk>
Date: Mon, 26 Jun 2017 15:28:43 +0100
Subject: [PATCH] Add missing typedefs to Java std::vector

---
 Lib/java/std_vector.i | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Lib/java/std_vector.i b/Lib/java/std_vector.i
index d22896390..c7fd73b37 100644
--- a/Lib/java/std_vector.i
+++ b/Lib/java/std_vector.i
@@ -72,8 +72,13 @@ SWIGINTERN jint SWIG_VectorSize(size_t size) {
 
   public:
     typedef size_t size_type;
+    typedef ptrdiff_t difference_type;
     typedef CTYPE value_type;
+    typedef CTYPE &reference;
     typedef CREF_TYPE const_reference;
+    typedef CTYPE *pointer;
+    typedef CTYPE const *const_pointer;
+
     vector();
     vector(const vector &other);
     size_type capacity() const;