hg: jdk7/tl/langtools: 6430241: Hard to disable symbol file feature through API

[jonathan.gibbons at oracle.com]

Changeset: d33d8c381aa1
Author:    jjg
Date:      2011-01-13 11:48 -0800
URL:       http://hg.openjdk.java.net/jdk7/tl/langtools/rev/d33d8c381aa1

6430241: Hard to disable symbol file feature through API
Reviewed-by: mcimadamore

! src/share/classes/com/sun/tools/javac/file/JavacFileManager.java
! src/share/classes/com/sun/tools/javac/file/Paths.java
+ test/tools/javac/api/T6430241.java