A Configuration Manager for Java