Safety Policy: HideDirectories

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