Denob fixes
Last denob fixes, disregard case in file tree, JavaDoc fixes