push revision

diff --git a/org.glite.jp.ws-interface/project/version.properties b/org.glite.jp.ws-interface/project/version.properties
index c23c2eb..7081754 100755 (executable)
--- a/org.glite.jp.ws-interface/project/version.properties
+++ b/org.glite.jp.ws-interface/project/version.properties
@@ -1,3 +1,3 @@
 # $Header$
-module.version=1.3.0
-module.age=2
+module.version=1.3.1
+module.age=1