tree a75b58ae12857e664367dbb2a3f84e5a8a0ccd0d
parent 2f016d3e8220fad950270a245d2c989d5e7ae66c
author Jonathan Gibbons <jjg@openjdk.org> 1253756893 -0700
committer Jonathan Gibbons <jjg@openjdk.org> 1253756893 -0700

6410637: Make decision on deprecated methods in DefaultFileManager and BaseFileObject
6747645: ZipFileObject.getName is incorrectly deprecated
6885123: JavaFileObject getName issues

Reviewed-by: mcimadamore