A tool for changing the default Java toolset