Added javadocs to RDPNFA.java and InitRegex.java