diff src/goodjava/io/FileClassLoader.java @ 1860:bcb015265c21 default tip

better uniqueClassLoader
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 18 Mar 2025 17:44:35 -0600
parents d4f857a37961
children
line wrap: on
line diff
--- a/src/goodjava/io/FileClassLoader.java	Tue Mar 18 15:38:31 2025 -0600
+++ b/src/goodjava/io/FileClassLoader.java	Tue Mar 18 17:44:35 2025 -0600
@@ -24,14 +24,14 @@
 			this.checksum = IoUtils.checksum( new BufferedInputStream( new FileInputStream(file) ) );
 		}
 
-		public boolean equals(Object obj) {
+		@Override public boolean equals(Object obj) {
 			if( !(obj instanceof FileInfo) )
 				return false;
 			FileInfo fi = (FileInfo)obj;
 			return this.checksum==fi.checksum && this.file.getName().equals(fi.file.getName());
 		}
 
-		public int hashCode() {
+		@Override public int hashCode() {
 			return (int)checksum;
 		}
 	}