eclipse launch configs, eclipse encoding settings;
javadoc;