updates for release 3.23.1

Readme.html

 
 <h2>Changes</h2>
 
+<p>-version 3.23.1 on July 2, 2018
+<ul>
+    <li>Github pull issue #171.</li>
+</ul>
+</p>
+
 <p>-version 3.23 on June 21, 2018
 
 <ul>
 </ul>
 </p>
 
-
 <p>-version 3.22 on October 10, 2017
 
 <ul>

build.xml

 
 <project name="javassist" default="jar" basedir=".">
 
-  <property name="dist-version" value="javassist-3.23.0-GA"/>
+  <property name="dist-version" value="javassist-3.23.1-GA"/>
 
   <property environment="env"/>
   <property name="target.jar" value="javassist.jar"/>

pom.xml

   	Javassist (JAVA programming ASSISTant) makes Java bytecode manipulation
     simple.  It is a class library for editing bytecodes in Java.
   </description>
-  <version>3.23.0-GA</version>
+  <version>3.23.1-GA</version>
   <name>Javassist</name>
   <url>http://www.javassist.org/</url>
 

src/main/META-INF/MANIFEST.MF

 Specification-Title: Javassist
 Specification-Vendor: Shigeru Chiba, www.javassist.org
-Specification-Version: 3.23.0-GA
+Specification-Version: 3.23.1-GA
 Main-Class: javassist.CtClass

src/main/javassist/CtClass.java

     /**
      * The version number of this release.
      */
-    public static final String version = "3.23.0-GA";
+    public static final String version = "3.23.1-GA";
 
     /**
      * Prints the version number and the copyright notice.