Formatting code, renaming

Formatting code in Patch.java, Library.java. Change name of
Library2.java to ExtendedLibrary.java