[SCM] Helper library for the Java 5 Type branch, master, updated. debian/0.1.3-1-5-g1830d25

[Emmanuel Bourg]

The following commit has been merged in the master branch:
commit f78295ac7d317b740b8a2eb83e763b6c41f27b96
Merge: 0669adbffccec03ca6fd367f3d7464732c159d3e 54d5b17530a79d09998f6eec8aa64c8dbd41e63d
Author: Emmanuel Bourg <ebourg at apache.org>
Date:   Thu Jun 27 09:45:22 2013 +0200

    Merge tag 'upstream/0.1.3'
    
    Upstream version 0.1.3


-- 
Helper library for the Java 5 Type