public static double getTimestamp( String id ) { if ( scripts.containsKey( id ) ) { return scripts.get( id ).fileTimestamp; } else { return 0; } }