A Configuration API for Java