Added a specific properties file for int.