Released 1.3, slightly updated javadoc