policy HideDirectories = NoObserveProperty ("user.dir") + NoObserveProperty ("java.class.path") + NoObserveProperty ("java.home") + NoObserveProperty ("user.name");
About this file
Naccio Home Page David Evans University of Virginia, Computer Science