Implementation of the javaconfig-api