finale version mit javadoc