bugs fixed; javadoc updated