Initial source files, freshly created in Eclipse